{"entities":{"Q1603537":{"pageid":1614277,"ns":120,"title":"Item:Q1603537","lastrevid":71414592,"modified":"2026-04-13T22:07:04Z","type":"item","id":"Q1603537","labels":{"en":{"language":"en","value":"Quantified computation tree logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1767462"}},"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":"Q1603537$7F043078-C159-4216-B8EB-D2606251FF9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"314f862678e8353b18e38990eb62cda908b6727b","datavalue":{"value":{"text":"Quantified computation tree logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1603537$B40D23AB-FFBD-4F7E-93E2-C85AC05B0BA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44cab3108fa9c2b7d2ee3c4e75b9f8ae4844c1e0","datavalue":{"value":"1014.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603537$85FCE187-598D-4336-9770-E5FE5F6FE80F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cedff73bb0f2c7d07bf588320e4003fd356a5e9","datavalue":{"value":"10.1016/S0020-0190(01)00260-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603537$3609B5BD-0CAC-4C3F-A214-F10D48ABD857","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ca85145c5bcf26b9d6b48940983710606ab54cb","datavalue":{"value":{"entity-type":"item","numeric-id":1581051,"id":"Q1581051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603537$645A538F-BBAF-432C-BE2D-D2786AEF50FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603537$46146F3E-E686-48E2-BE3C-B0D300699383","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0325700ca3bc3f7d102c264ab8870dda2d06b4b","datavalue":{"value":{"time":"+2002-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1603537$4D408C29-EB99-47EB-ADCE-5BBA197DED3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603537$A5A7CC88-D0E4-4BF0-A4DF-4C4C8C84B248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603537$F1BA3D54-3F4D-41DC-96CD-13E81C9B36CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"469a581a67f3db5aed48c8dd6c1e8126e96096ee","datavalue":{"value":"1767462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603537$351D95E6-EB09-49C5-A4B8-25B1110BB088","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603537$14340ED2-BA39-4851-8AED-DAF374E609B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603537$CC44DA19-028C-49A1-9BDA-E34BEFE747F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603537$3EC1142D-79B3-4B38-A025-AFD5518D010A","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":"Q1603537$6134C9CB-21F0-41B4-A6B6-1EB3BFB6B7FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23f31fc73d830eb06775254da1f5a897164b8f3","datavalue":{"value":{"entity-type":"item","numeric-id":4487265,"id":"Q4487265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603537$1EC89F59-557D-45B7-9136-91FE6B99BFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692f33298e12548a7de121e9b379ab5a875cd0fd","datavalue":{"value":{"entity-type":"item","numeric-id":1383350,"id":"Q1383350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603537$F70363B7-0D0F-48E3-AE95-87F6974C459D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603537$3DD005DB-05E4-4C50-9B95-CF045E67E997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603537$341D6EA6-5A96-49F5-81B4-7040742E6A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603537$79A4D0FE-121D-447A-AB6B-B5147A3AD698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7f88b9c02f3b54e9e5865afe0a8a6cba9b9f65","datavalue":{"value":{"entity-type":"item","numeric-id":4242583,"id":"Q4242583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603537$B8572606-9FC5-4CFB-9893-2E181BE767A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603537$F0A60552-1499-4A16-83B5-AF76F0B67CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef9d2d76846f715fb4c95dec15c3751b47b37a3","datavalue":{"value":{"entity-type":"item","numeric-id":1902700,"id":"Q1902700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603537$7E662304-10F6-4B56-A578-ED312428C78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5325820f1da9bdbe993d9d54d34a90dc88d69e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4869540,"id":"Q4869540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603537$0D4134CD-0368-42BE-827E-492DA6D834CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0952bb7cf3430fad5140ee00d25e8df372c6a897","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(01)00260-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1603537$492608A4-0B97-4897-94EA-59EFD768B274","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9637016935e381d45c43d4a86e4f0aedeb0e9f8b","datavalue":{"value":"W2076879179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603537$1E53A076-3550-41E5-9380-C8E923BCE8CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf6362829a471005761450390520303b5598814","datavalue":{"value":{"entity-type":"item","numeric-id":2938770,"id":"Q2938770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"087e6d74e3a8e2f383372a0c41948d9c39665016","datavalue":{"value":{"amount":"+0.8772691488265991","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":"Q1603537$D98357C2-9B9A-401B-ABCF-CA05811BD484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26780fe39d8c1324e5ccbfda50d0234751270d16","datavalue":{"value":{"entity-type":"item","numeric-id":5756604,"id":"Q5756604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6994092bc5a6a49778dbe6941fd354bf19355fc2","datavalue":{"value":{"amount":"+0.8693655133247375","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":"Q1603537$9D63F509-A613-4E64-869F-2A8EAE5017AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71956962bb60a291a3a6435582c535bd5edb1b5a","datavalue":{"value":{"entity-type":"item","numeric-id":2914370,"id":"Q2914370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c62872defcaf82e56dfa7284f13f68cec8e451","datavalue":{"value":{"amount":"+0.8652936220169067","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":"Q1603537$CD703A7F-A409-4B38-8FC0-2A4D852667AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2b0e0dfe140e013d76013b6a5951689556d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":4933296,"id":"Q4933296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2dea4bf48a1707381e1fd9b1f9afafaf05bb1e3","datavalue":{"value":{"amount":"+0.8649126291275024","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":"Q1603537$955667F4-C1A7-4563-B814-3B2FCB94016E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7279b9ea12c02179b3fb5f75f953d3911da3e9a","datavalue":{"value":{"entity-type":"item","numeric-id":3557853,"id":"Q3557853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ef6577b999f482c6b22188a3eb2095cc263e3d","datavalue":{"value":{"amount":"+0.8548798561096191","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":"Q1603537$D56459F9-DDAC-43CF-8744-A56AAA84D595","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantified computation tree logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantified_computation_tree_logic"}}}}}