{"entities":{"Q4913765":{"pageid":6943344,"ns":120,"title":"Item:Q4913765","lastrevid":91601987,"modified":"2026-06-04T23:35:35Z","type":"item","id":"Q4913765","labels":{"en":{"language":"en","value":"Counting CTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6152233"}},"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":"Q4913765$CA83B742-4B73-4DD1-A915-D85A75F7B0C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33b04358b15269d880c92b567292427361734acf","datavalue":{"value":{"text":"Counting CTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4913765$7A408A38-3812-4C56-AD0F-F3C4B31CB1C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"673d138573dea08d02362fb2f8153459dbf0cbdc","datavalue":{"value":"1260.68233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913765$B0FFA936-673B-4472-BDAC-5550425F4F2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"876844fe0dc07f07d3c20d9381081fad1afe24fa","datavalue":{"value":"10.2168/LMCS-9(1:3)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913765$0696CAB9-A296-4DE0-B823-D0AF8680B41A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c628048560a95e93b98909122a7164e3572ba0ca","datavalue":{"value":{"entity-type":"item","numeric-id":548703,"id":"Q548703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913765$9507FCF9-C9B7-4AAD-95D3-412272006250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41503b24a2c37445acb5c2a0bf99fc7ad4d9d0ee","datavalue":{"value":{"entity-type":"item","numeric-id":852010,"id":"Q852010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913765$8D552CB3-B10A-4F71-A80C-CE503C3AF7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b48a0c8742ada68a0166bd3f2c4279892ff6da66","datavalue":{"value":{"entity-type":"item","numeric-id":3557852,"id":"Q3557852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913765$BF17DC18-9CCA-4962-8226-7EA78C23533A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913765$B4DC6A64-0230-4F5D-BCC1-8F6FE2B21CA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d05c5960e17df88a20f497dd893bcc369c3eaa","datavalue":{"value":{"time":"+2013-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4913765$15120ABE-E647-4070-A82F-D83854250F67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913765$6C75FD64-E4B1-42BC-A35C-BD5C295C9F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913765$74C15114-54DF-4873-8E14-2047273761B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913765$0EBAD4EA-7A1D-4A79-B35A-6BC3348AA063","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fd340ef31ceeac2d381759576c59e4ebb13523f","datavalue":{"value":"6152233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913765$46EB29CC-6089-4C60-A43A-5B5C5CD7591E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7015df820d54c37a280b2bc669339e589c19cd","datavalue":{"value":"branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913765$E7BC5CE2-65FC-4835-AA45-271A5F3A62E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa64eae916ac50f9d0bdde79696d641a11ea4cba","datavalue":{"value":"counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913765$A99958DB-2F51-4C36-B14A-6FC91A2C9E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913765$C7106DFA-CDFF-4CE1-94F6-FC54F7DD27A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913765$1E881E19-62AA-49A8-9B52-68EF6DD3B82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913765$9D5FF7C3-9931-4934-A757-028E8A78924B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913765$02003BE0-ECAC-4663-95F0-3FEC4BAF4795","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":"Q4913765$C70BFD6A-74B9-49F9-B225-DAAF2D9295A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc831452437293ef2ac246a5d42c3d489d627ed4","datavalue":{"value":"https://doi.org/10.2168/lmcs-9(1:3)2013","type":"string"},"datatype":"url"},"type":"statement","id":"Q4913765$5290371E-51B3-4FE3-B722-055EB5DAA87F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3babc7159543a94d75db08fbdfa392c9e6d79faa","datavalue":{"value":"W3037249291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913765$C5DA4769-7220-48CD-8922-C3908B758102","rank":"normal"}],"P1643":[{"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":"79066930fec36fef238081297a2b7ec16e810d6c","datavalue":{"value":{"amount":"+0.8816089","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913765$3B2316FC-069D-4A9A-A4B4-6478B11E65ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16bd7900dfaba5f46096d2595ede285e11bc2106","datavalue":{"value":{"entity-type":"item","numeric-id":3539937,"id":"Q3539937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58ec34f71369bf3e5c52aa3bb7de6d919b09d50","datavalue":{"value":{"amount":"+0.8613375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913765$F2CE87EE-F0DA-4442-B63C-8F0B7085E921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45bfbd0453cf7b48d9491b4811ec739ec60088f2","datavalue":{"value":{"entity-type":"item","numeric-id":1199550,"id":"Q1199550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7784bc1c426df52c33035a7a7d075e216af9ee3","datavalue":{"value":{"amount":"+0.858297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913765$C981042F-240D-449C-A12D-6CF7343554CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0290a81841636e0f1439d314ac8dce8416104c","datavalue":{"value":{"entity-type":"item","numeric-id":3030804,"id":"Q3030804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c498e1d21ddae99164be340ee68a465cc7d23cb8","datavalue":{"value":{"amount":"+0.85827106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913765$C741FE85-63D5-4A1A-8F4B-257AA77A328C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8abbe0fc890cd73a4587e461a6e8fdcad3584f1c","datavalue":{"value":{"entity-type":"item","numeric-id":809598,"id":"Q809598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0daf7aeeeb7f50a04ee671b31ab6a6578be0720","datavalue":{"value":{"amount":"+0.85534453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913765$2789C7F6-F9D3-4BB0-BA79-9E96AC1D023C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3c2c14f4e8da08f4d7e27605009054d7215af68","datavalue":{"value":{"entity-type":"item","numeric-id":3798240,"id":"Q3798240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6949052600bb95905fbc4c6bcbf5fe8d57ae3e4","datavalue":{"value":{"amount":"+0.85394216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913765$4B72800D-B599-45FB-865F-F24EDCEC33D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"338f318897d3507dbf365d33fa3e6fa9ab32e26d","datavalue":{"value":{"entity-type":"item","numeric-id":3804682,"id":"Q3804682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61608e01d535a538994e512e0acefb69d21beec4","datavalue":{"value":{"amount":"+0.8527608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913765$0C3AD261-6773-44FC-B8ED-8FF56E9E9323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33cd8fae8909d3cfc80b95a01fee3dadf9f0a478","datavalue":{"value":{"entity-type":"item","numeric-id":2055958,"id":"Q2055958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c74ae0f19dba492f120e6fa507660b56bee2450","datavalue":{"value":{"amount":"+0.85089964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913765$E3973D5A-07F0-4A8F-B634-EF8C57F3AAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3914a5d5279f0dcdc7dbed4b71e77316edb263","datavalue":{"value":{"entity-type":"item","numeric-id":5926387,"id":"Q5926387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97e3810b0e5c4fd71885933def7b4152f96fb9e","datavalue":{"value":{"amount":"+0.8473132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913765$5D36E6FE-2433-4360-88A1-0B1B16663724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055c12dbcf6849a1012b975f47994a68c0cdf9f1","datavalue":{"value":{"entity-type":"item","numeric-id":550543,"id":"Q550543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d67b27b316f8b2899dff28444663eae7485723","datavalue":{"value":{"amount":"+0.8471763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4913765$F35D7F4E-1CA5-4748-9E90-310C8FCA83E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counting CTL (scientific article; zbMATH DE number 6152233)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counting_CTL_(scientific_article;_zbMATH_DE_number_6152233)"}}}}}