{"entities":{"Q1244341":{"pageid":1255091,"ns":120,"title":"Item:Q1244341","lastrevid":70430877,"modified":"2026-04-13T14:42:55Z","type":"item","id":"Q1244341","labels":{"en":{"language":"en","value":"An efficient decision procedure for the theory of rational order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3578865"}},"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":"Q1244341$AC9E6CE4-9787-4FF7-BC09-31CA06A7901B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6f717a31ac10bd44249e4539cae85dbd7c69824","datavalue":{"value":{"text":"An efficient decision procedure for the theory of rational order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1244341$C682617D-595B-41E6-8B99-A2254D2319DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d2d4cc2472419e0d79d30eec1ffe20bd97714fc","datavalue":{"value":"0372.02024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1244341$49FE4A40-F75A-41B0-8EAF-01F8A0F634FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5ca05ce90d71f2db84afdda8735e9b8e81cd2a5","datavalue":{"value":"10.1016/0304-3975(77)90037-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1244341$C0BD1283-5DD4-4236-916A-FD40B646065F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92789c9195e9dfd3e97ea9251ea24392e0ea7bee","datavalue":{"value":{"entity-type":"item","numeric-id":1244339,"id":"Q1244339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1244341$B3740045-F7CC-4115-AA93-3CCF295448B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"810307f5d76de3d4aaf2d0c363832349c634ba64","datavalue":{"value":{"entity-type":"item","numeric-id":1244340,"id":"Q1244340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1244341$D0D6807D-1D44-4408-AB0E-E556EB9CA705","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1244341$F485342E-73B8-47BF-8DB9-2BFF1CCD030D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q1244341$ACD0327C-E486-4857-8953-AEC63BCEAD8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1244341$6542C44A-5D43-487F-B0A6-6867325C6F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1244341$C6FED6CF-D1C1-401E-8989-087E43F0F84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1244341$A9530AF6-61BE-400C-AEBE-9DB07E6E9CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1244341$895DF557-7D1D-487D-ADB1-3C4B7B600328","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a575377119b450d90d20c8702bfab5a1e29e385a","datavalue":{"value":"3578865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1244341$36C403C7-78D3-4D67-9B44-FB21084B5F3A","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":"Q1244341$FD2BBD65-C00F-4D1A-A45D-D11ECEBF873A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17cd0ceb135b86784e2fea79338aeec07dfe24a8","datavalue":{"value":"https://doi.org/10.1016/0304-3975(77)90037-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1244341$7F3AD175-02D2-4AAB-9EB3-0392F15E0304","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d801215007a6a7d43a6136ed0c3f79a29ed3032e","datavalue":{"value":"W2004091282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1244341$2CE1179A-15E1-469C-84FF-5E8F5A7039AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1244341$CFF9A697-C225-43E2-A3AE-6673C1D03014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1244341$7EAF1A08-0AF2-409E-805D-77CA5ADA80AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1244341$863B99D3-3E0F-40B8-8448-1F183C249EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1244341$1DE715D0-0B28-40D1-8AF8-1BBE555718B8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1ac1fc0a857c75f77e484d38fed03f13b576ef9e","datavalue":{"value":"Q126310990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1244341$F8ED8740-703B-4D05-98B9-AF895B7817C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An efficient decision procedure for the theory of rational order","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_efficient_decision_procedure_for_the_theory_of_rational_order"}}}}}