{"entities":{"Q3510785":{"pageid":5540689,"ns":120,"title":"Item:Q3510785","lastrevid":50400608,"modified":"2026-01-13T23:36:13Z","type":"item","id":"Q3510785","labels":{"en":{"language":"en","value":"Complete SAT-Based Model Checking for Context-Free Processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297029"}},"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":"Q3510785$A2EA9C17-2091-45AD-8353-60D780049657","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"055fa04e97f82b93002e3a09d5952ae9f37f9a96","datavalue":{"value":{"text":"Complete SAT-Based Model Checking for Context-Free Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510785$C003B488-ED3E-488C-B6CF-15022DCAB5E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c21b71321ac770493d53d6bb7f550c5461011920","datavalue":{"value":"1141.68471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510785$D17D4E38-A7F1-4B22-BE50-4752390EA475","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef762ac34d8303b4ed05403117141b7a70adf5b0","datavalue":{"value":"10.1007/978-3-540-75596-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510785$51285C8F-15C1-4CF3-AC5F-0735D2A664AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"436e53559fa3d16a41f9128c9495e9a426724c6b","datavalue":{"value":{"entity-type":"item","numeric-id":3510784,"id":"Q3510784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510785$41519BE9-7DA9-4185-892C-C62CF5419697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c17cf4b757376e81bb18052c33891da6bf831a","datavalue":{"value":{"entity-type":"item","numeric-id":832259,"id":"Q832259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510785$CE897D5F-ABD7-4601-9CFB-1BC6AD3B60F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510785$09A342F0-0A0B-4251-BD83-D810CC5A6820","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510785$E56C00ED-08C8-4306-A934-28260AD74E09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510785$0CDEB83A-A6C7-4E8B-9FDA-D25D08661F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510785$0300E4A3-28E3-4151-9F59-AE0B0225A3D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6531e96e7733446f23c5b72d5ed3fc9258a37032","datavalue":{"value":"5297029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510785$439C32F6-0AD7-453C-A882-B7A5DF16572E","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":"Q3510785$0DD3E51B-1E30-410F-B0FE-C7FF5861235C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91aca637ac8807f44c45f3322e099334b969c3f1","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75596-8_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510785$C44A620F-E6AA-4C2B-8F0A-B474D157D626","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c18c605bb497024d8133b0ed8c6361de51d27a89","datavalue":{"value":"W1596705621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510785$FD18A8F6-7012-4CDE-8FA6-FD1D6AD482B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1e98a439ec4e9d078025f40a04fde04e8fed347","datavalue":{"value":{"entity-type":"item","numeric-id":5312948,"id":"Q5312948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510785$5DF62A32-CE0F-4D09-A004-CE56D78F271C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510785$D4B46E78-815B-46D2-98F1-262908E54297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510785$FA74B3D2-D8CF-4FAD-9EEC-B9ACD0816AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53a51872f069526f7c4f160c0c189b214a3414c","datavalue":{"value":{"entity-type":"item","numeric-id":4790409,"id":"Q4790409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510785$6B44A661-204D-4476-BB8E-F42DD8BA7B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83b1a50c5e6446a4595b4c668f78c20866c1b879","datavalue":{"value":{"entity-type":"item","numeric-id":4028125,"id":"Q4028125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510785$CD33EEF1-A0A9-466B-AD9D-38989B438FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ae6ed760781d3b49742d7b716b0a26662372ea","datavalue":{"value":{"entity-type":"item","numeric-id":3142557,"id":"Q3142557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510785$02CE108A-82D9-4299-A045-37D358AC8622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510785$19FF0DAE-A868-4A30-9541-1B34F4B481D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510785$1E44404A-985C-4236-BB4E-D88118B5BB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ebc8c6731a9ba8b7c88fd686053c929a1ba298","datavalue":{"value":{"entity-type":"item","numeric-id":4551162,"id":"Q4551162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510785$2A396348-DA4D-483D-8D7D-8314242A5C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68075db62e66e99ab1e80c6c31c21db34a7cf0d3","datavalue":{"value":{"entity-type":"item","numeric-id":4764629,"id":"Q4764629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510785$342A89E3-5509-4E8F-8B75-5CC7618244EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510785$ABC72E20-46AD-4B90-99DB-D7CF06E15888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd06688d0a2118d72cedd0d86de5ca69bef5bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1084096,"id":"Q1084096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510785$988E3487-F482-4B49-8D46-CBDFBDCD18A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510785$E10C99EF-38B9-43F1-BF8E-940522ECA3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b60bd5e31f9ae9f1564921464f5fc21a2b45225","datavalue":{"value":{"entity-type":"item","numeric-id":5479152,"id":"Q5479152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510785$2E75882D-28C9-4C21-9D5A-A173AAC8C9CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8285b45c595f5829ec6c3b3879c2bb3208b5999a","datavalue":{"value":{"entity-type":"item","numeric-id":3552516,"id":"Q3552516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce7c1775390f5e221e3101b211d698b7c07725b1","datavalue":{"value":{"amount":"+0.9820937514305116","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":"Q3510785$F77F24CA-A9A3-4065-9415-140A13D40714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1223bf56fcfae24476937a6afba92c507eeae72f","datavalue":{"value":{"entity-type":"item","numeric-id":4764629,"id":"Q4764629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02bf4b2ffdad3a5b89215adc77942d71ffe41965","datavalue":{"value":{"amount":"+0.8441371917724609","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":"Q3510785$BFEF45C1-2B22-4E5C-AD16-BAF95E80C524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33de92247cca4205a2cf29c212dff398bed52741","datavalue":{"value":{"entity-type":"item","numeric-id":4630295,"id":"Q4630295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97367489d7ebec8b4f3a7e55327abd58d1b8b8e2","datavalue":{"value":{"amount":"+0.8438299894332886","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":"Q3510785$148888FA-11C5-42C5-B139-B3B69F82CFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dcfb62dac3825347d49563a69bb7a85c4f32f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5479152,"id":"Q5479152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d7508cbc956c5e99e748a9a9e8ef97ab6c61b8","datavalue":{"value":{"amount":"+0.8155679106712341","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":"Q3510785$CD82F820-58D0-491B-9FC7-320AEFBB1B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6cdbe4617ec84b6650aeef07260da7d2f4b69ea","datavalue":{"value":{"entity-type":"item","numeric-id":4501584,"id":"Q4501584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba6f4d88e47bd60feccb9beb61cf8e0fbca3ea9f","datavalue":{"value":{"amount":"+0.7988949418067932","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":"Q3510785$73031169-7BBD-4B59-8133-FDBD3038E318","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510785","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510785"}}}}}