{"entities":{"Q5310669":{"pageid":7340243,"ns":120,"title":"Item:Q5310669","lastrevid":50182679,"modified":"2026-01-13T10:29:20Z","type":"item","id":"Q5310669","labels":{"en":{"language":"en","value":"Combining decision procedures for the reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200139"}},"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":"Q5310669$D5A9ED59-839B-4C86-91B8-0185718FEF5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32f7227457288c532539838ba4af8bf160946391","datavalue":{"value":{"text":"Combining decision procedures for the reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310669$3563904A-B211-47BA-ABB6-07D3484B5698","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02ff9d2b04a31ddbbf783336f87f51fa27cb3964","datavalue":{"value":"1127.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310669$05585F38-3BB9-4A59-8F96-72B0700B9E23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b3cc4a5bdea93fc7b05ee50793ec12c5e6550fb","datavalue":{"value":"10.2168/LMCS-2(4:4)2006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310669$7276AB95-E981-4888-B46E-430C48E4E34D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310669$E3D10F29-A226-4806-B81D-746470319066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7d460ffc6b3e0069ff40b20b2755df97aa354","datavalue":{"value":{"entity-type":"item","numeric-id":196044,"id":"Q196044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310669$1C4414AA-64AF-4DEC-A398-AD593C6ED7DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310669$35D8F3CC-F33A-4A23-980E-C8A894503769","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310669$29BD8581-FD13-4107-9CBA-B17FF0409A42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310669$0FE0729D-CD8D-4B01-81CA-50F7D73A8D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310669$944B5C14-7E00-4D3B-B638-A6EDBB177D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310669$5F1A4D80-1DA7-4765-B4E9-9A733A806440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310669$064BAF6A-8716-4A08-92CE-5BA2586BCE01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc57d0c9932aab18eedf1c71ad84cdbf51009de6","datavalue":{"value":"5200139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310669$F496F13D-260F-4CDF-8A52-5516566CA0E3","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":"Q5310669$171FF67F-6ECF-4E61-938C-FFDFDB9C9310","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1470a97030887b8d84f75ee646436a0f66f52b","datavalue":{"value":{"entity-type":"item","numeric-id":3766889,"id":"Q3766889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c238a6dec12b0145b54c8387675542089a7b05","datavalue":{"value":{"amount":"+0.816780686378479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310669$204451FE-1C48-4689-A23F-04697FA98570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbd3db6f33c3d61ba76d8bf055123eab5cb96666","datavalue":{"value":{"entity-type":"item","numeric-id":3803084,"id":"Q3803084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72e3a939b02f4993bfae144e2fef0eb4d2700223","datavalue":{"value":{"amount":"+0.783293604850769","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310669$42A35662-0AAA-4B4D-89FC-791885A94977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60538cba9b2ea45b4f3fd1e9c8c2a2ce39b27192","datavalue":{"value":{"entity-type":"item","numeric-id":1185458,"id":"Q1185458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4598122306bd05edc238f1cf5271c42af8ea8145","datavalue":{"value":{"amount":"+0.7669257521629333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310669$3C5BF386-77EF-4DFF-8191-83E2EA8FFC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3971969d819fb758c29af38815fabec4d72ba17","datavalue":{"value":{"entity-type":"item","numeric-id":3637273,"id":"Q3637273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4598122306bd05edc238f1cf5271c42af8ea8145","datavalue":{"value":{"amount":"+0.7669257521629333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310669$A8FF0EFC-2033-49B7-947A-36A23E562CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83799d172caac9de556d975c6e02093382a2446","datavalue":{"value":{"entity-type":"item","numeric-id":3677735,"id":"Q3677735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"277a61b7bfd4119056e1e3288649c2fd6bd04343","datavalue":{"value":{"amount":"+0.7665980458259583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310669$8F06FFFC-E587-48DA-BD2C-09F507055680","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310669","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310669"}}}}}