{"entities":{"Q5200078":{"pageid":7229649,"ns":120,"title":"Item:Q5200078","lastrevid":94428239,"modified":"2026-06-05T06:47:25Z","type":"item","id":"Q5200078","labels":{"en":{"language":"en","value":"Construction and SAT-based verification of contextual unfoldings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934403"}},"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":"Q5200078$422E1990-DAF7-43EF-912D-39701AEC1120","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f74b3476c91fec4267b8b26422bb10fbf908a01","datavalue":{"value":{"text":"Construction and SAT-Based Verification of Contextual Unfoldings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200078$FEB30B26-2FC4-4E3A-8F15-74D72C9945AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f2e618ab759184003120fd4c57416ff4f8532d4","datavalue":{"value":"1341.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200078$7C8BE68C-C70F-4060-83EA-32710BD69633","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"befadc39c56944d510ece2160982f6d2d93b9182","datavalue":{"value":"10.1007/978-3-642-22600-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200078$53D03947-589F-480C-9C37-641B11C14475","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42938a6743e1355728dbe4fe3c3ae295737cb5ef","datavalue":{"value":{"entity-type":"item","numeric-id":314814,"id":"Q314814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200078$81777AAF-DC52-4DDB-91F7-2E82B3F88EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7e74fc81033469e57e8f9cf85ff29248af5638","datavalue":{"value":{"entity-type":"item","numeric-id":443728,"id":"Q443728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200078$BD0C3B6E-1D6E-4A3E-AA9A-2C5C6A375A47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"899bcd63bd3565b4a7ab71cc0d7f7ea361279751","datavalue":{"value":{"entity-type":"item","numeric-id":2829964,"id":"Q2829964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200078$E94A3316-B30B-464A-9A02-50CA8AD46855","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5200078$8A058932-6123-477A-966D-FCB8EF736E78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200078$EE728992-599D-4FA6-AF36-0ACCB1B4E226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200078$A0A233BA-1CAE-4AEA-9F5B-0E9C0F1E04DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200078$86101392-5A3C-404D-8ADE-2D22C9AF1C52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42f8cb44e58ebfccc247372f5e2e67bcffed6044","datavalue":{"value":"5934403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200078$A158E338-647C-4D3D-9DEA-4781B44B5E5B","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":"Q5200078$68DB124E-F3F7-4EB1-8336-3DA808F17F5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f3e375abd52dd28fa90d9c1e21d41f875e93892","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22600-7_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200078$7D19BAB0-4AC8-41FB-91F7-AE085A4E8B8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b081ab3dd536cf0bf4e964af71fdfffe325c1e4","datavalue":{"value":"W1863926289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200078$E7C5BA9B-1B5C-4C81-83AC-668833A88A4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60ef53f9fbf165762771687f4a12e411cc7e1680","datavalue":{"value":{"entity-type":"item","numeric-id":4931306,"id":"Q4931306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200078$D79A8CAB-43D7-4B0C-9D00-55C0A5A52F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09496a73df557c40b259d302e74451197f6f9309","datavalue":{"value":{"entity-type":"item","numeric-id":3599219,"id":"Q3599219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200078$D33D703F-67AC-4842-A3AD-4AE7605AF81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca0ec24a69cf1f915d924307d29172a5f8a3ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200078$4F3DE8A9-4D87-434F-A6C6-046D9DA3F777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29558a7d29a75e1c126135f22d6c400886954fba","datavalue":{"value":{"entity-type":"item","numeric-id":1600655,"id":"Q1600655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200078$EF08EB55-75A7-49B0-BDE1-8ACE5486799D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb8ec87c00bd6fdd3425679719d82b21b0e3dea6","datavalue":{"value":{"entity-type":"item","numeric-id":4251922,"id":"Q4251922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200078$C0CE8163-C88A-47E0-9832-3B05A3AC3266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af7a9be3cfc434175de5db569d22d2a34c2d019","datavalue":{"value":{"entity-type":"item","numeric-id":3146285,"id":"Q3146285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200078$2A95A7E2-5B89-4512-93D1-620E56FD481E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58c06cc5f786ed9f0a4df20a80487e12bbeddadf","datavalue":{"value":{"entity-type":"item","numeric-id":2912697,"id":"Q2912697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9a3b7a6ecfac7ce36c04d4d1e8db9e4f2a625b","datavalue":{"value":{"amount":"+0.9210926294326782","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":"Q5200078$678FD4BD-0F6C-448F-BE94-9CF58DB1BC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"427be0154e599adc8c624a7abb056e301985e1c0","datavalue":{"value":{"entity-type":"item","numeric-id":443729,"id":"Q443729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e62f0881a4dab613633a629ee945fdd9ef4179c4","datavalue":{"value":{"amount":"+0.8906359672546387","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":"Q5200078$58472B47-8AA9-4DC2-937D-75D6CC0562CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"380181fc9094b277e18cd075c358fa48a823ea8d","datavalue":{"value":{"entity-type":"item","numeric-id":3090840,"id":"Q3090840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92488f239384efd90008aa5cf25bdd4d3b20f506","datavalue":{"value":{"amount":"+0.8905146718025208","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":"Q5200078$2857E56E-4946-48A2-99A1-F88A3429B471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66fcb8f17e78da1ac15821817d47e995ca120f0","datavalue":{"value":{"entity-type":"item","numeric-id":1346650,"id":"Q1346650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16dfdfad67392042aa0a6cd137b7fd682998c2f8","datavalue":{"value":{"amount":"+0.8811227679252625","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":"Q5200078$F0F4EE36-A040-4281-8EF7-F7CCB8010C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a163a0d576360f131b648b21ce0d4bf5f67390c0","datavalue":{"value":{"entity-type":"item","numeric-id":3146285,"id":"Q3146285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f99f541842ba189d122c3d72b160913d9a417809","datavalue":{"value":{"amount":"+0.8261316418647766","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":"Q5200078$471FF80C-037E-43D7-84BA-0D61A7F367AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Construction and SAT-based verification of contextual unfoldings","badges":[]}}}}}