{"entities":{"Q5437779":{"pageid":7467343,"ns":120,"title":"Item:Q5437779","lastrevid":50261570,"modified":"2026-01-13T16:37:26Z","type":"item","id":"Q5437779","labels":{"en":{"language":"en","value":"Extended full computation-tree logics for paraconsistent model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5230343"}},"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":"Q5437779$E9BCD5C8-F39F-45FE-AB04-102C41BCC65C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b45598326fa5d235938b7738e4bdbb658315dff","datavalue":{"value":"1133.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437779$F4BA1A13-17D4-468E-90E1-B9C0C9427BAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437779$0986DF77-27A0-4225-84F8-1139B96109AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"372f752557d73ba82f074b12840a5ad5472fa63a","datavalue":{"value":{"time":"+2008-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5437779$50D984A8-0BE7-4B37-9C09-C7FF826C0AA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437779$2C1D19D7-1C4F-40D5-942E-CC6E921AC1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437779$B8AC646E-F95E-40F3-9CC5-C6D55F2C9424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437779$DDBB5AC2-63E0-441A-B7FF-847BDEC5A0FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"067e5930d7df012428c950d80c388ac27a7160aa","datavalue":{"value":"5230343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437779$8852F205-654C-4E0E-BA5C-1B21FD44F06D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437779$1F23D436-3BCE-495F-A909-C961655E1FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f2f64e18c990a46ef5f3859e816a7be4c2e6a4","datavalue":{"value":"full computation-tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437779$95C87769-12CA-4D85-9F94-5FFF690D0A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1a5ccbca3d987edb09f95d2914bda462cf4699a","datavalue":{"value":"location operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437779$5A2D02C2-C9CC-4DD6-B847-A3DA25B7586D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"443acfd5aad188c3adfda3b6070a8c21179ca54b","datavalue":{"value":"paraconsistent model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437779$6C3B16FA-28E2-4487-B539-DFF7204E607F","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":"Q5437779$2B825EAE-E0BC-4314-97BE-5FADF6DA9BDA","rank":"normal"}],"P1643":[{"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":"8d3f80b1afc2c5e85601018de593a70db7c14986","datavalue":{"value":{"amount":"+0.8327133059501648","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":"Q5437779$DBEDE60B-C256-468D-8DAE-C9ADBFA308E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2da767a1e7809a5ddc6beded041910e7cb4fef3","datavalue":{"value":{"entity-type":"item","numeric-id":2852076,"id":"Q2852076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14b6f550cd46903c6a124631e6abbf35c21b47d","datavalue":{"value":{"amount":"+0.7759395241737366","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":"Q5437779$B2E3F44A-0429-46DD-A559-33C45D128342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28cce3de0989a7cb3d96e085e2b47481c4b37f62","datavalue":{"value":{"entity-type":"item","numeric-id":3084992,"id":"Q3084992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"197fd873efab263bd2fec44756f081823747ac42","datavalue":{"value":{"amount":"+0.7756096124649048","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":"Q5437779$C1EBB6DD-1916-4674-9E4A-2D2C4C6D8070","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":"77a66cb165213e66fc61161ae0ca74ed43448303","datavalue":{"value":{"amount":"+0.7675426006317139","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":"Q5437779$F10F2456-D2AA-4AA3-8F25-D3E5A054768E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e72c57564b42540b67653ee9fe2c14a4d275e82c","datavalue":{"value":{"entity-type":"item","numeric-id":4450445,"id":"Q4450445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7dd6253985717ce0a81b462ca4256eb67a8ea58","datavalue":{"value":{"amount":"+0.7588216066360474","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":"Q5437779$7B1ADE4B-BA48-47FC-960A-56ACE6E95D94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5437779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5437779"}}}}}