{"entities":{"Q5387634":{"pageid":7417208,"ns":120,"title":"Item:Q5387634","lastrevid":50365775,"modified":"2026-01-13T21:55:25Z","type":"item","id":"Q5387634","labels":{"en":{"language":"en","value":"Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279324"}},"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":"Q5387634$1FF7BEE1-358B-4256-950E-25328DC71672","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b749e17653c2ab88b288e62cc096f22cd51e53da","datavalue":{"value":{"text":"Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387634$9382C452-A988-4C36-8FC9-46458E1932B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bf28827ecb81fd1512792421be768479b383389","datavalue":{"value":"1142.68525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387634$4338D220-EF4F-4368-B0DD-7F155D7374DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91af4b55592f2155c1dfec7e4b27d204dc6ff6fb","datavalue":{"value":"10.1007/978-3-540-68155-7_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387634$166B348F-3090-44A2-B968-2682086D6C6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"018b85db19ecd3a912145159db4a3476bdaf0189","datavalue":{"value":{"entity-type":"item","numeric-id":547914,"id":"Q547914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387634$0AD5530D-B34B-4E13-9AEB-B6C917BF8F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a014e6ba9fde789e090c1a340d6af73ab4b427b1","datavalue":{"value":{"entity-type":"item","numeric-id":394331,"id":"Q394331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387634$EA7C2EF4-ADD2-4AFB-AFEB-F6AC1EF95144","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9b5703dbefadb0dc8a94567ea5d35c321580fcba","datavalue":{"value":{"entity-type":"item","numeric-id":3003269,"id":"Q3003269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387634$6A838887-28CD-4BAB-B985-441EB6413765","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387634$E0162186-1F5A-47EC-9059-17901D41D61F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387634$3CED0DA3-21D0-4368-9068-21773E9F8DC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5dc2b18e6cd8e9d502f3b4edc05525234c2fc6e","datavalue":{"value":"5279324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387634$CC913BE4-7431-4F65-B1B6-D6538DC45F11","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22fc318c6c2e42dbf1c86e8b56323826ebc2c596","datavalue":{"value":{"entity-type":"item","numeric-id":14528,"id":"Q14528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387634$FD240F76-BE91-485C-A461-118ED2D73994","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":"Q5387634$171A2A8E-20F0-452E-8F22-5B9EB35BC2D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3269f4f3f5c2a93a63bf96d5275f92cd1f4df632","datavalue":{"value":"https://doi.org/10.1007/978-3-540-68155-7_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387634$6504740F-386D-467B-981A-BBB21B663DBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f29b88604d1fc74eb30e99579ac114ca7a126a8","datavalue":{"value":"W1511506132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387634$2108CF8D-6F1A-4A3C-BB82-8274C022CA9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387634$925CDE43-AE8D-4E20-A038-18C284D21FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387634$73F1AA1A-A3A7-40A3-9617-20CA95895F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387634$A2BAAB02-F8F8-4F86-9789-529980243381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf5667edd20bf607f41849b86ac22a0984c3e35","datavalue":{"value":{"entity-type":"item","numeric-id":883144,"id":"Q883144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387634$BFC65B77-356A-4FFC-B5E3-9D9EC0F92926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065a2d65834e8c8b57bdda41356587a32ad9b5c2","datavalue":{"value":{"entity-type":"item","numeric-id":5457277,"id":"Q5457277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387634$BEFE4928-9478-41B6-BCD3-5AE2DF88AA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e4ac15b3cd895ddf8775dc4121fd07e552d6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3523106,"id":"Q3523106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387634$A564198F-CE87-41DA-9C8B-8CBFB4F00048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fcfb988ef10885eb0a5a746c562e10876fedf0","datavalue":{"value":{"entity-type":"item","numeric-id":814445,"id":"Q814445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387634$4C96929F-DC83-4D68-8D10-E14D1980867B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d12a2da8cc8af5999bca8a117656b85079f985e","datavalue":{"value":{"entity-type":"item","numeric-id":5956121,"id":"Q5956121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387634$E41E0622-012D-47EF-9C4E-A495C9B2F13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8e3438dc1c6f006d68174f559eb0ffc3e96837","datavalue":{"value":{"entity-type":"item","numeric-id":814473,"id":"Q814473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387634$A15A657E-22EA-4650-9871-B2EB2F1BA2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0e56df9db89377069ef2057d2ac5bcfceb74c1","datavalue":{"value":{"entity-type":"item","numeric-id":1069296,"id":"Q1069296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387634$F9B9525B-802A-4A04-84AD-3F3C64A53886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72c7a5d409b7373f9c65378b36f5e5f591dbd7d0","datavalue":{"value":{"entity-type":"item","numeric-id":850457,"id":"Q850457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387634$B6355DEE-397A-4645-B0F4-A03E2B383221","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a655929a3f9bec1c0a2dac90f181cf53308035e5","datavalue":{"value":{"entity-type":"item","numeric-id":4933336,"id":"Q4933336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c85729fc63c1390b8a88f0644b1ec0868a6d327","datavalue":{"value":{"amount":"+0.7772788405418396","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":"Q5387634$5D66D2B0-800F-4F95-AB3B-F937F5D4845A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa5985af9191d4805673120b1472b621d1ca031","datavalue":{"value":{"entity-type":"item","numeric-id":3523106,"id":"Q3523106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e0f5213fa9473e04bf39e163c4e403d2042ea7c","datavalue":{"value":{"amount":"+0.7749530673027039","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":"Q5387634$7A8592C9-26B2-475C-BE2D-4E021090E442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b60343c5f12c4960efb47f16f6354d8cb68a7d8","datavalue":{"value":{"entity-type":"item","numeric-id":3172891,"id":"Q3172891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"639f70d1c680ae3a2d20c5f29fbf91e993d8c732","datavalue":{"value":{"amount":"+0.7521040439605713","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":"Q5387634$4A9940EF-1854-4BBE-AF1A-8660FFFB317B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a0ec5b971ba7424e52b2aa8060ab76c42d476d","datavalue":{"value":{"entity-type":"item","numeric-id":3447707,"id":"Q3447707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3421762503f5db0be3dd0ea1beeac5f0bed7e59a","datavalue":{"value":{"amount":"+0.7472469806671143","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":"Q5387634$9E0E0750-6A31-4153-A49C-494E9A9C4833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea804024f7ccd7c2da167d9c6c945e02ffdf072","datavalue":{"value":{"entity-type":"item","numeric-id":3000643,"id":"Q3000643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb7b72d9433ba484eab545bd6b89bab76c0f997b","datavalue":{"value":{"amount":"+0.7378444075584412","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":"Q5387634$F37A0BB1-B370-439C-91AD-CD72426055A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387634","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387634"}}}}}