{"entities":{"Q5387916":{"pageid":7417490,"ns":120,"title":"Item:Q5387916","lastrevid":50366531,"modified":"2026-01-13T21:58:37Z","type":"item","id":"Q5387916","labels":{"en":{"language":"en","value":"Splitting on Demand in SAT Modulo Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279596"}},"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":"Q5387916$CD8EE005-C887-460D-9211-14EBE0C29EF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91d312bdcd5fc0d4482ceedcabb140fbb3581060","datavalue":{"value":{"text":"Splitting on Demand in SAT Modulo Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387916$FC191F06-4F0A-45C8-A2D7-1CD7C205170D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cc020bdf3378e75c7e19da84acd0028f5e9f2f4","datavalue":{"value":"1165.68480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387916$CF085A34-78BD-489D-85C1-A46E749F3519","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"158c6fcbd96aea5c61fa3d2fa3123cf3f08dbcd4","datavalue":{"value":"10.1007/11916277_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387916$BFFAB8A6-50D9-48D3-9F4A-2B2F4DAFADDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387916$D0489788-7417-4AB1-B7CE-F02221824D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e6a58ff964b9ca97414f0c42659717fa8e6fc43","datavalue":{"value":{"entity-type":"item","numeric-id":475169,"id":"Q475169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387916$580B31B4-9A05-491E-BB2D-B10A154FD566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfd1da8b09a3144b32ef026d1d9b2bca68560b37","datavalue":{"value":{"entity-type":"item","numeric-id":438574,"id":"Q438574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387916$ADEA2AD5-5AEC-4850-BBD2-6B4C04B77FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387916$782A9E2D-A6A9-479D-B6D9-BE602AB78E4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387916$5CC42D7B-234D-43D6-A9F1-6BE216C846C6","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":"Q5387916$F9273815-6D03-4CC3-918E-4A25893E42FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387916$1A44D5EC-35FA-46C6-8138-CC2A4B98E52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387916$9E1AFDD8-0D29-4AA8-8B1A-08024913380B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87100e888520127a0e135a679e6cd64f75453444","datavalue":{"value":"5279596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387916$A249E75E-E0F9-4E56-9325-4E8978ECE248","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":"Q5387916$4842C08E-1404-49EC-A813-D531038F8189","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16b5e9dfd423ce69aff161412c4c6c556234eb5a","datavalue":{"value":"https://doi.org/10.1007/11916277_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387916$9B429232-E623-42BB-98C0-4E3DA2998FC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f711dbac6bcf0813e7a86f38ef8a0e894c8bfd72","datavalue":{"value":"W2159786179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387916$1AA8E2F0-F78A-4ECB-A090-61C5A40E8B50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b24a5d485e1040fd0f9f0b64ebccef01f930fd47","datavalue":{"value":{"entity-type":"item","numeric-id":3506045,"id":"Q3506045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7d93c6950a2744940c2c96bfbe70b2844829c4","datavalue":{"value":{"amount":"+0.8127292394638062","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":"Q5387916$C9ECF50E-2292-46F3-AF2C-E7F620B44B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060b299a48c3179c59c6541e6cf5829c59574c76","datavalue":{"value":{"entity-type":"item","numeric-id":5434475,"id":"Q5434475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5e247b63a3509a0cb427eeed84e68f379ec84f3","datavalue":{"value":{"amount":"+0.8082633018493652","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":"Q5387916$EB6BAAB1-A2BE-4FB3-90E5-A3165A875B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3904c2f0ef5a01f08fc447afb9a6aec84bab277b","datavalue":{"value":{"amount":"+0.806995689868927","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":"Q5387916$5F10A0D9-2D98-410A-9C6E-A2853B10CA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1a7fff6e2cd8fdd64c88798164821b0c843360","datavalue":{"value":{"entity-type":"item","numeric-id":5716575,"id":"Q5716575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b78500fd6cc70b5588fd517c265d723e749eb1c2","datavalue":{"value":{"amount":"+0.7950162291526794","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":"Q5387916$A17D29DD-B2ED-42C8-BC19-DF1026BB53C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4f0140fe152f7d5b3dfb3ede13e3c31df060015","datavalue":{"value":{"entity-type":"item","numeric-id":2926657,"id":"Q2926657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15f62081a0d6f1834f56e71b5658a432d9b0075d","datavalue":{"value":{"amount":"+0.7916954159736633","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":"Q5387916$345D4BC9-3628-49D4-B54F-5307E1AEDA0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387916","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387916"}}}}}