{"entities":{"Q4046035":{"pageid":6075738,"ns":120,"title":"Item:Q4046035","lastrevid":55261651,"modified":"2026-02-05T11:12:57Z","type":"item","id":"Q4046035","labels":{"en":{"language":"en","value":"A Decision Procedure for the First Order Theory of Real Addition with Order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3460260"}},"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":"Q4046035$8C5A75E1-6BDF-4A3B-9BA3-AE80155150BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a7320c77c8dc6d4350aeaeb4cc924082b984426","datavalue":{"value":{"text":"A Decision Procedure for the First Order Theory of Real Addition with Order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4046035$FFCABA37-0270-4849-9ADC-A978B01B2869","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f8673ab2154a354206eafa1bfaafce523f773d0","datavalue":{"value":"0294.02022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4046035$995E7F2F-8076-4F4A-A1E2-539533C12CEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0af35d6644a89cd3293f5b02004522ec625d7980","datavalue":{"value":"10.1137/0204006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4046035$B8CE7629-0F77-4FF0-91EB-3C64C68A2814","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":"Q4046035$5F7BCEF6-CB5D-4FFC-8823-63E87D43871C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32ef088039a8ad6a0298449def5bb70c83daad02","datavalue":{"value":{"entity-type":"item","numeric-id":964870,"id":"Q964870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4046035$FDB583E7-236A-409B-B9B9-4DF32A67E648","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4046035$22EF2D8B-56C8-496D-A7D3-F080FBEA6CB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-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":"Q4046035$E674FAC2-5D75-478A-A52A-3B53213FDF35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04e05fd436f3f3f0e12ede7ada19015a352a9b78","datavalue":{"value":"https://semanticscholar.org/paper/6a7e0501315cbcaee5745d7b1082eea5c0f9d49c","type":"string"},"datatype":"url"},"type":"statement","id":"Q4046035$9077A92E-72DC-4F60-B867-66F10B658396","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4046035$04F18759-FDDF-4649-982C-A0A8F58886F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de10e9ed62f2c37ff89c0ab71775e4b9743b6175","datavalue":{"value":"3460260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4046035$963A7302-7585-4244-8DA2-0EF7B357BA6C","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":"Q4046035$BA8D34C8-B41E-4ED5-A971-5B8F8448ECEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f24d8068330c58e0f92b83a5056a9c21cda4913","datavalue":{"value":"W2021592352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4046035$B0CF419B-D47C-43DF-9138-DFD0266515C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4046035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4046035"}}}}}