{"entities":{"Q1389439":{"pageid":1400179,"ns":120,"title":"Item:Q1389439","lastrevid":71053029,"modified":"2026-04-13T19:10:09Z","type":"item","id":"Q1389439","labels":{"en":{"language":"en","value":"Axiomatising extended computation tree logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1170161"}},"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":"Q1389439$7E9AF2F0-EB9C-4C8F-A5A2-473B9F6A3C68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be0355bc0b1745058aca9974b40cc218b63b1fb5","datavalue":{"value":{"text":"Axiomatising extended computation tree logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1389439$3D8E702C-BEB5-4F18-A49A-738008755F4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a64f349dd2fce3aee05574a11148e3ed8ae7be5","datavalue":{"value":"0893.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389439$5EBDF3CA-08D3-4AFA-A973-CFFBEE95F222","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64105ef2730a1d5da6a0ddc45fd26f06c70d69e4","datavalue":{"value":"10.1016/S0304-3975(97)00083-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389439$32EBCA56-EBF4-4F29-9306-3C15AE3CA321","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbe6200dc4c3be7da676f116abdad3f03d1caaa","datavalue":{"value":{"entity-type":"item","numeric-id":1349726,"id":"Q1349726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389439$F5F92DE8-16A9-4E9B-8B6D-2147CD458462","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389439$01642DE3-B438-4D47-B780-7458F8FF791B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98f219d7d1f0a69180d363f24f243049839e281b","datavalue":{"value":{"time":"+1998-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1389439$0F9775E3-363B-495D-A4B0-2C5AF8F74EFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389439$675196E9-8576-44CB-964D-545DD49B1884","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b0d1a9034906f5a41a088cf1d00db564029dff5","datavalue":{"value":"1170161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389439$C1B3AAF7-AE0B-464C-BA25-3A918CA3CA8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389439$24F2486E-8A51-4689-A0DA-324208AD1452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66278a5c931b890ca2a4eaf95c16a94ffb623e60","datavalue":{"value":"axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389439$5CA9D856-B8D5-4B9E-B4CE-5224C3FC4CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389439$92F5B052-09EF-4CAE-9E79-9A9CB3578F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73ddce6ec6e05fc676adc1b3ba790d4caa291154","datavalue":{"value":"limit closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1389439$54829540-6052-40BD-977B-3BDE24637C13","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":"Q1389439$132504EB-5E9B-46DB-A1E0-12FA46BF82C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a2a4179afaab6165623a114e2ec7a594c0496a9","datavalue":{"value":{"entity-type":"item","numeric-id":4207567,"id":"Q4207567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389439$A8EB62AE-0545-4530-A66A-898DE7D7F05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062a9bd4fe13e5ea8018ad451d4c2f0edf9de514","datavalue":{"value":{"entity-type":"item","numeric-id":2265815,"id":"Q2265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389439$5D7253D8-C0F7-4105-9A71-A09B6A0F6F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389439$02D3330A-608B-404A-85DE-A8C57C958CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389439$DCD3F31F-9E91-471A-A01A-267629EE4659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389439$F6553476-612E-4546-BF97-95CE2B52F04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389439$E4CF1E9B-B3E1-4FC2-B104-9F0AC27AF61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389439$AED34AF8-9A27-4138-A4A1-36974985DE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7d501eca45f4e70219630914fce9c6989711b2","datavalue":{"value":{"entity-type":"item","numeric-id":3753490,"id":"Q3753490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389439$2E8C50F7-3654-45EC-BCF2-BA906471F5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389439$6C55BCBF-66AD-4999-8B27-81ADBDE0126A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389439$16E36E8E-A35B-42C0-9C75-EB9AD23199B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389439$49A7FD9B-2A58-4B54-A195-073D9FEBDAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5b71b7e6f84e554c58be41609ee5d08fb2e826","datavalue":{"value":{"entity-type":"item","numeric-id":4733423,"id":"Q4733423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389439$E68C3EAB-3F90-4033-827C-F9237E91B8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389439$F144D51E-324A-4AB1-86B6-6C443E26BB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3796d9f03b4ae0103a65fce1ee3fb718e92184f","datavalue":{"value":{"entity-type":"item","numeric-id":3341881,"id":"Q3341881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389439$1DCF95CF-2BDA-4048-82B9-8757309CBFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389439$6F560F5F-9A66-4F55-B340-ED94BE9B4B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a659b2cbd537713eeed2150669304c9e3e0f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389439$2395751F-B1F9-44D4-832C-A8A35CCFBA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1389439$C09D8AE8-3642-473E-BB6A-D4DE935AC050","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c14aca303cec1bd74f18a664f1a81d232154be9","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(97)00083-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1389439$B5587034-43A1-4133-9E28-57EC2CBB4D85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ebac21365b8b5e0d2ea05dba569bb50047e0d14","datavalue":{"value":"W2155725785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1389439$E143F6DC-E973-4C09-9CC2-CEFFA15C5810","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c751198a8a50c07031f79a530cea0627b554c11d","datavalue":{"value":{"entity-type":"item","numeric-id":5878903,"id":"Q5878903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q1389439$0F31C9D4-D19D-4C2B-94A9-E893DC6D200D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf4d6f506e0370c531ea04d2d4e82518031d6ba5","datavalue":{"value":{"entity-type":"item","numeric-id":2758043,"id":"Q2758043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8fb205ab7e1e4bda98229a9406dea28ef6c7d1d","datavalue":{"value":{"amount":"+0.95199573","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":"Q1389439$8CA74C15-C1AE-4114-93D9-8E452B60BEE9","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":"720868f48e9620680013bb16e84248581fba22d7","datavalue":{"value":{"amount":"+0.9475348","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":"Q1389439$F9406C80-BE8F-4153-A5C6-B2D887291BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8374f83de29dd68784c5c188c01105f7ae0368d4","datavalue":{"value":{"entity-type":"item","numeric-id":1758667,"id":"Q1758667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7644d185a8dad8071e26f0441c71a3226f93dacc","datavalue":{"value":{"amount":"+0.9115729","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":"Q1389439$ED133DAD-EE9B-4E5D-BB9A-759E5D297A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cfdc3a726183847675febfa6ff30ba69be4","datavalue":{"value":{"entity-type":"item","numeric-id":1603537,"id":"Q1603537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"687a111ee1e2349bd8db5ce442e70f9432ef6dfd","datavalue":{"value":{"amount":"+0.9072118","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":"Q1389439$082EAE5F-D5D9-4DC3-A3F2-2F408A857CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8a7b2468bf3d6bcc9feabe5a7593fe19668887","datavalue":{"value":{"entity-type":"item","numeric-id":5437779,"id":"Q5437779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fbda7998252e4e118c584b66daadfa166ab4fbd","datavalue":{"value":{"amount":"+0.9024917","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":"Q1389439$5C7AA35E-FB41-4950-8861-95540DA577C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63d32f74288d7848c9f08a0073068efdddd72d1b","datavalue":{"value":{"entity-type":"item","numeric-id":4736874,"id":"Q4736874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b957e44bcbc8b28b3a17be23a6d1f971ba0461","datavalue":{"value":{"amount":"+0.894596","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":"Q1389439$62DC678D-57F7-499C-B914-D00A14BBEBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"076f19ef6ae9f7953c8d6a6def8637171ff6333c","datavalue":{"value":{"entity-type":"item","numeric-id":705058,"id":"Q705058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b957e44bcbc8b28b3a17be23a6d1f971ba0461","datavalue":{"value":{"amount":"+0.894596","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":"Q1389439$8DC32B08-69A3-4D34-8349-8778BB747E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a222f75823aab5c47592ec20f22b4298c6cf6b","datavalue":{"value":{"entity-type":"item","numeric-id":1352493,"id":"Q1352493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a71b59229dba9e8b807ab5bb0b9b7a93b2f1e735","datavalue":{"value":{"amount":"+0.8945608","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":"Q1389439$AFF69E77-A808-42ED-906B-CEABBD216AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4e6e5957ed52092b23c1a3ffd2f83aca25555dc","datavalue":{"value":{"entity-type":"item","numeric-id":2946674,"id":"Q2946674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ea1507e87e05dc79745cd94384f6385d725e1f","datavalue":{"value":{"amount":"+0.89156985","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":"Q1389439$EAEE6474-8C0E-4FD9-854E-937982A3A0E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatising extended computation tree logic","badges":[]}}}}}