{"entities":{"Q5878903":{"pageid":7908454,"ns":120,"title":"Item:Q5878903","lastrevid":47817595,"modified":"2026-01-02T18:55:52Z","type":"item","id":"Q5878903","labels":{"en":{"language":"en","value":"Axiomatising extended computation tree logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7656668"}},"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":"Q5878903$931FB117-31D5-43D9-A001-63D4FA369D90","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":"Q5878903$3E697037-2352-418E-ACB2-854809BC43AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"476411f55ec6e0cfc42cbf6924f0609c4a8aed4d","datavalue":{"value":"10.1007/3-540-61064-2_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878903$D17D53B0-9DFB-4BA9-99AE-4C65BBDE6A0B","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":"Q5878903$08FFD9C0-0F43-40AC-9E70-5B30213029F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"10a2dd9cfab3350d57ecfd66941f44fbfa64643c","datavalue":{"value":{"entity-type":"item","numeric-id":5878896,"id":"Q5878896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878903$465BF1BE-0EB6-4FD0-9146-44CB0BBB197D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"729820b3d9c942c8ddeec0ce26b9b49723352c71","datavalue":{"value":{"time":"+2023-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5878903$2D38977B-DE32-485B-8FE6-F269E356466D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878903$E01EA3BA-7F7F-4084-943F-36FCA3C7F600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878903$DD746574-14FA-452B-9887-2A9F1BFCBE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878903$9B8BD47F-12F4-48C8-9697-903F2CA91CBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d158e1b966b636fae75c74d54d99868930ae0b2","datavalue":{"value":"7656668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878903$754B1ED7-3850-4AA7-8129-B02E25CC1200","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":"Q5878903$C2E9A261-196C-435D-90D1-830A7EA601E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6526edb4ad8af70af2fe2a2073094a921e68f62e","datavalue":{"value":"https://doi.org/10.1007/3-540-61064-2_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q5878903$D48A490A-4472-4F1E-B983-872A1C26E104","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f03148fcb268db74b9aa4ad664463dbafb018fae","datavalue":{"value":"W2112547704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878903$637E0193-CBBF-4EE5-B4FD-2B4B22922C13","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":"Q5878903$937DC9CD-D9B1-4A2F-B539-57D6D81D879E","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":"Q5878903$3CDC91A5-54A1-4E2E-920F-C3A3385C38F1","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":"Q5878903$6B3DE789-99FB-45A1-AB87-3823529D0225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a059efc4a1f49c1ef5ee155acd97eb4522ead2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3906386,"id":"Q3906386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878903$B1E5116E-AE7B-4589-8872-E883047292DB","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":"Q5878903$D6098276-4EB6-4103-A12D-C13512DF94BA","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":"Q5878903$A5DF0B88-60BC-4787-A617-A21504D80038","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":"Q5878903$753CB76E-9091-4102-AAC1-D168958C4915","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":"Q5878903$1E00BE22-C3FF-4906-A378-6F8D5EF8CE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d80c09a488acc12cbf48e92182699f69eca5d3d","datavalue":{"value":{"entity-type":"item","numeric-id":805253,"id":"Q805253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878903$471E801A-F109-4BDD-B29E-0A9AEFB45B8D","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":"Q5878903$7733C617-F828-4424-ABE1-C0150798D186","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":"Q5878903$F24FC9F6-F696-41E1-BCC2-0D7BBC230DC0","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":"Q5878903$2D4F4376-DFF7-4851-B8C2-356A4EEE0F24","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":"Q5878903$AD5AB27F-87A2-49F5-BE19-7041B8B39995","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":"Q5878903$1DCA6DFB-0E31-4B9D-A621-64505282D37B","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":"Q5878903$475AC695-3C6A-47D2-AAD4-9E84532D13BC","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":"Q5878903$9C3E9D53-4231-4629-A054-0D4CC7DB9E53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c047b2e7a6b97118518cc59f4a171e82b0186d","datavalue":{"value":{"entity-type":"item","numeric-id":1389439,"id":"Q1389439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f30fd40f63c7fc72cf8224f64156737d188042","datavalue":{"value":{"amount":"+0.9983397126197816","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":"Q5878903$57B68213-1A81-44A6-A462-68572B3B0EB5","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":"45e80c5e292872483fcdc6f5921b0617b20f9aba","datavalue":{"value":{"amount":"+0.864470362663269","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":"Q5878903$0248479B-E2E4-4267-8D74-5692B01EF4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6ce8b156bb5a316bc350d0f03d67b3cbce7fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2908510,"id":"Q2908510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45e80c5e292872483fcdc6f5921b0617b20f9aba","datavalue":{"value":{"amount":"+0.864470362663269","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":"Q5878903$48DF7DA4-434F-472B-91DE-4FC9DAEA79FF","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":"3e80023c94d182fc7088bbdea8a755671e1c1eee","datavalue":{"value":{"amount":"+0.8353367447853088","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":"Q5878903$B210AA3D-26CA-40F6-89E0-EC9B44DE3A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c1d8ca4353a1bc152e57fb0fc519a94f58366e","datavalue":{"value":{"entity-type":"item","numeric-id":2566222,"id":"Q2566222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca21c7f9ad6ffc80ffad1db366bc4481e4a4d16","datavalue":{"value":{"amount":"+0.8245450854301453","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":"Q5878903$D126757D-AB71-4765-A476-681B70735412","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5878903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5878903"}}}}}