{"entities":{"Q3552516":{"pageid":5582420,"ns":120,"title":"Item:Q3552516","lastrevid":90286025,"modified":"2026-06-04T19:46:43Z","type":"item","id":"Q3552516","labels":{"en":{"language":"en","value":"COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5697178"}},"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":"Q3552516$8EDF5B13-9799-45C0-A387-15E929C3B728","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdd58c36feae88f607d84e0a3365d164842ba9d0","datavalue":{"value":{"text":"COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3552516$0EDD2F8C-3B88-4225-838A-A896E670C8C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"247e4cdfd925fa39c1ea70addc35c2bb3dc92d31","datavalue":{"value":"1198.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552516$1861EFFF-0546-4565-81D4-28AB25F2C628","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b62b338e5b44c819d30dd83dd294f314f40fd2d","datavalue":{"value":"10.1142/S0129054110007179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552516$7DA3F3D9-31F0-46CA-B28D-45505F76161A","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":"Q3552516$68AEF7B1-BA4B-4A08-8509-135F656FB718","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":"Q3552516$1B85FABD-F62A-4D17-BE6B-D57764739F66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552516$C2D6DD1D-5EF1-48E4-A95D-62C2FA40785B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f02be9883d625fd3319136e8ae50da56a98c787","datavalue":{"value":{"time":"+2010-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3552516$0969B8CE-C078-4A1B-B400-05BABE7AE459","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552516$758F27B0-9579-4814-9189-34AFEEE0E03D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cb4b9ec42cd96a71239befe298c77b095d0bfab","datavalue":{"value":"5697178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552516$62B28278-A379-466A-B7BF-B199F83E8322","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3552516$650F45E9-E316-4CEF-892C-7E859ADF66BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3552516$1ACAC0E3-F5DE-4CEC-99ED-141BAE6A1DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6a2b4ac73f4eab538c66c02ca140adc7c58d107","datavalue":{"value":"context-free processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3552516$DDDA46BC-861B-4337-82AB-8B194645657E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552516$583C59D8-EB86-422E-8A08-08A9F00B4253","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":"Q3552516$9418CC60-E517-4C58-9251-035579AEFF57","rank":"normal"}],"P223":[{"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":"Q3552516$576B1496-8840-4E6F-821E-B1B82F4C8A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1547f5aeeb22de97bebb119762b9db7090ec61ea","datavalue":{"value":{"entity-type":"item","numeric-id":4281545,"id":"Q4281545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552516$64A64AAA-06E6-41E2-93A3-1C5C783BAE73","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":"Q3552516$4D5A7665-DBAD-434A-88CE-2F00A632C2D4","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":"Q3552516$52D3C591-0FB4-45CE-A315-41EDEDF823DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d175e0292e02a95fb9e1c2b84c88f4da7d7c55","datavalue":{"value":{"entity-type":"item","numeric-id":3510785,"id":"Q3510785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c130a0863576be07b42d71b3c003e1384d82efd4","datavalue":{"value":{"amount":"+0.9999998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3552516$20AD15CE-7202-41A9-94DC-B6FE538F4E5E","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":"b41ee077f9659e63fcf915234808681ee1f5f983","datavalue":{"value":{"amount":"+0.90397054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3552516$00EC89CF-4935-44CB-9673-FA7A5D7E3488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a1bf693cef9178aadd375963cd412c8809cc24","datavalue":{"value":{"entity-type":"item","numeric-id":3176368,"id":"Q3176368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c87001deb1adb10c4775c522c38ecb43d2c4502","datavalue":{"value":{"amount":"+0.8989488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3552516$FF1EF870-6B11-4E93-BFDE-07EABED09F51","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":"701a5855561c2815668e7ed395448876ac7111c1","datavalue":{"value":{"amount":"+0.8894063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3552516$0D4FFC6C-A1FD-494D-B601-8FE9FB89EA64","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":"701a5855561c2815668e7ed395448876ac7111c1","datavalue":{"value":{"amount":"+0.8894063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3552516$318FDAA0-D5BA-452D-B75B-5F8F88653CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121a525aefc794a363673ea28ab81bd3d66b2408","datavalue":{"value":{"entity-type":"item","numeric-id":4994932,"id":"Q4994932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a28ef07bc9e20388832d63e80e85bae693117236","datavalue":{"value":{"amount":"+0.88281614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3552516$5BD0C560-D08C-4AFB-A302-D680AE475627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2bb4627b13bef6d101489da2918850245c5e1b3","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab5c6157bf13768fe65b3de0b3f43139bdf0ba7","datavalue":{"value":{"amount":"+0.8785299","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3552516$5996AAEC-E695-45AB-B2CD-F59DCF710B47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/COMPLETE_SAT-BASED_MODEL_CHECKING_FOR_CONTEXT-FREE_PROCESSES"}}}}}