{"entities":{"Q2557246":{"pageid":2567989,"ns":120,"title":"Item:Q2557246","lastrevid":73225746,"modified":"2026-04-14T15:03:32Z","type":"item","id":"Q2557246","labels":{"en":{"language":"en","value":"Elimination of cut-type rules from the Robinson and Presburger axiomatic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3397513"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2557246$5A6B24E6-528A-41CF-8CAA-9E9DAF51E0A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3e550765a1d1cea7a99963e6413468bdb4e6573","datavalue":{"value":{"text":"Elimination of cut-type rules from the Robinson and Presburger axiomatic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2557246$64495704-26C5-4683-ABBB-AAB31626DB20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a94a9e9ea5a5dc6c5d455ed60501685f3f936bf1","datavalue":{"value":"0252.02026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2557246$186382C3-32B5-4A6B-915C-5ED19F005435","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1349dc6dfd4e5495d08b1b338e3d725d17d6acbd","datavalue":{"value":"10.1007/BF01117478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2557246$6E038F49-6ADE-4D8A-9245-C278836273DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c87b5aca574eeb1372d986f8806fd69f2d77ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1245696,"id":"Q1245696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2557246$5BF80841-E7C2-4358-9EF2-1B1684F3C211","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"164101b92acd585ddf6ca53b10c2e6c3aab227fa","datavalue":{"value":{"entity-type":"item","numeric-id":351720,"id":"Q351720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2557246$227A1685-249E-4C1F-8364-A5C06BD8E9BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0009eef2e40e65b679945693e20705f9c6245b14","datavalue":{"value":{"time":"+1973-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2557246$57324F2E-C50A-4B09-8D55-BBBF8A047A64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2557246$861FBD7D-4B15-464B-BC74-54154CB92581","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc25dd6bfb86ece99f98fc215bcd7a7e65da50be","datavalue":{"value":"3397513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2557246$626993B4-677D-412E-A679-051CF8AD9413","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2557246$15A28E05-F857-454A-B145-B22121AC0274","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f103fa401cdca02160ebee26851f7a4dbd4e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5813181,"id":"Q5813181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2557246$5273BFC3-EE36-4616-9CA2-F370E2B8EC2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elimination of cut-type rules from the Robinson and Presburger axiomatic systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elimination_of_cut-type_rules_from_the_Robinson_and_Presburger_axiomatic_systems"}}}}}