{"entities":{"Q3601783":{"pageid":5631689,"ns":120,"title":"Item:Q3601783","lastrevid":88509236,"modified":"2026-06-04T14:42:53Z","type":"item","id":"Q3601783","labels":{"en":{"language":"en","value":"CTL Model Checking for Boolean Program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5506812"}},"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":"Q3601783$29167CFB-5743-4F38-B9BB-80B44FCEE100","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db1485fd2254790e0d471d915e1a68e0b08c246f","datavalue":{"value":{"text":"CTL Model Checking for Boolean Program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3601783$F5C66607-9990-4D6A-8B89-53FA84F69BBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"330e896e0eb95c4b20efb9f786f2ad73aff63a97","datavalue":{"value":"1209.68322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601783$06265A23-96F5-4F4A-8E77-997A275CD93D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3333855a36a3f937ccda6cb04fd5104f08cf005b","datavalue":{"value":"10.1007/11751632_116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601783$92B822DC-3A7D-441A-98D5-9294A001DC48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab06480f39d3ebbd5e4daae78daec32db99260fe","datavalue":{"value":{"entity-type":"item","numeric-id":451940,"id":"Q451940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601783$3C795E4B-C48F-4FC5-A04E-BC0D5090B6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9371c7cc1539ca59179d96cf621e86a7cd0b48bd","datavalue":{"value":{"entity-type":"item","numeric-id":2852021,"id":"Q2852021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601783$9A408CA1-A94C-4F77-AADB-7A9BB369044C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a77bf7126224eb2ee7f649bc5795ed2db681f6bd","datavalue":{"value":{"entity-type":"item","numeric-id":3601782,"id":"Q3601782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601783$6324EA2A-DEE0-4FF5-8A0B-F6FDA39A519C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"07229e808cadb797e8f35c16270846e817f17bdc","datavalue":{"value":{"entity-type":"item","numeric-id":3598975,"id":"Q3598975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601783$F5276645-BCC9-4AF5-9D06-F177B5A01D04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"662c9d768c258b8c4aa4cc6d6ce95028979dfb46","datavalue":{"value":{"time":"+2009-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3601783$FAB3E75F-42AC-4D32-A124-211BCCF95E8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601783$277F1E21-C03A-4B1D-8147-C3EB5384BCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601783$327A4685-3D30-466F-85A2-F7931FAB4289","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08a43f93a8533ee1e440bd69dafe4ad63c1dbbad","datavalue":{"value":"5506812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601783$17EBFF84-2B41-4D6E-845C-1FE7615593C4","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":"Q3601783$01E7A623-9915-4F44-9CA5-C1D9D818A34D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06aa8a14323e7553e554b3e9f1ecd3ef09332900","datavalue":{"value":"https://doi.org/10.1007/11751632_116","type":"string"},"datatype":"url"},"type":"statement","id":"Q3601783$AD8F9F91-9172-4157-ABFA-92E8E1D97AE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"890e073fd6becdf0a05ac1f6f58722f9665b8031","datavalue":{"value":"W1546789396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601783$DCD4AEED-0B1F-4D8D-9568-D88A6EEB54CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609db31109f29daf5f20500cb6e669dae387d5e6","datavalue":{"value":{"entity-type":"item","numeric-id":5902361,"id":"Q5902361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87eab252de6b48195ad5c8bebc348c6d881b2e34","datavalue":{"value":{"amount":"+0.7551649212837219","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":"Q3601783$BCD598C9-A331-407A-84EF-041F4AD844DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24fcded486acb4dea00c1b4c15bcbb897d5bc7b5","datavalue":{"value":{"amount":"+0.7501895427703857","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":"Q3601783$06C93BD4-D7CA-44DF-B011-22F38425979B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c11753742197e9a080c8b4505e422225d0862fe","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7787a7b6831c5b2c4d31fe36c49c23a6333223e1","datavalue":{"value":{"amount":"+0.7501893043518066","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":"Q3601783$9157836B-15C9-4D18-9505-9498F403BB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efdcb1fc73c7450cb655bae3fd71f870414c09a0","datavalue":{"value":{"entity-type":"item","numeric-id":4934536,"id":"Q4934536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d44c4c02d7f122a185627685554a3e75fa8cb27","datavalue":{"value":{"amount":"+0.7483105659484863","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":"Q3601783$0A350DE9-1B58-4A49-816D-65C983FD3725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe754d483eb7fbf9c412f3bff6d683833997b041","datavalue":{"value":{"entity-type":"item","numeric-id":2767990,"id":"Q2767990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b965379902ae8e770904ceda8cd6701796998aac","datavalue":{"value":{"amount":"+0.7402007579803467","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":"Q3601783$3A2A16E7-557D-4257-A2B2-5C445355B35A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CTL Model Checking for Boolean Program","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CTL_Model_Checking_for_Boolean_Program"}}}}}