{"entities":{"Q2904055":{"pageid":2914780,"ns":120,"title":"Item:Q2904055","lastrevid":42477056,"modified":"2025-06-28T13:36:20Z","type":"item","id":"Q2904055","labels":{"en":{"language":"en","value":"Completeness proof by semantic diagrams for transitive closure of accessibility relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6063265"}},"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":"Q2904055$95D65239-DC72-435C-A3B9-B45F1869EDF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3aba77ed88c353480f434bfa2b73d125c7a1b26","datavalue":{"value":"1254.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904055$C1A2A847-04D7-489A-9ABB-33827B593D04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5204fccf6931ba93979bc107c2fe66e59a9ff1f6","datavalue":{"value":{"entity-type":"item","numeric-id":676307,"id":"Q676307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904055$BDD88D9B-C7BD-49ED-8CB9-B22F1DB53F25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d93f02b005a91d75e1fb36333e97807bdd2c51d9","datavalue":{"value":{"time":"+2012-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2904055$5957746F-FADA-410B-A061-DE3A431E7DF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904055$66576FC3-36E8-46AF-BADC-B3DD68478291","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb9a66fc790bc734b89661e5e683edc183d0e930","datavalue":{"value":"6063265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904055$D42B123E-8416-485E-AA5D-A198325E367D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904055$13EFB27D-3B60-4A8F-BF3B-6E556585B776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a36b7415bfbcc11483a33bbd401381c27d08bdd4","datavalue":{"value":"accessibility relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904055$2D203C74-2113-46A5-BE2D-621C30C81E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2efd6ca2e632b6ca823bc98fefd73c07a1f518da","datavalue":{"value":"transitive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904055$DB8C00F6-5527-4A5B-B261-8A55E72EE9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30da95e1495df80afd36534c8f950224abad56c9","datavalue":{"value":"completeness with respect to finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904055$57C9B256-E57A-4432-987A-84DA05EDDCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41d9bf5cdafca764da052f78823214a395d90e8e","datavalue":{"value":"semantic diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904055$89EA59F2-B660-4690-8536-DB8553A407E7","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":"Q2904055$A9CE9E49-90FE-4776-A39A-E4E6AA8FEBAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ebb6b573aa0b610753c12bd1fa15c44d50f035","datavalue":{"value":{"entity-type":"item","numeric-id":5864208,"id":"Q5864208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9553e85d347a90177b90805ab6d820294b40fcf4","datavalue":{"value":{"amount":"+0.8661314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904055$584D8CF4-C1ED-417A-8436-CC1D6225DB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9785f9a231d01138f2ed876cca6ae3a3c7bb50","datavalue":{"value":{"entity-type":"item","numeric-id":4916063,"id":"Q4916063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"becf671cd47c1d1cd2cb6097007a0d757ce5dda3","datavalue":{"value":{"amount":"+0.85523605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904055$D365984A-1F5C-4C1B-BE47-CF63E9FA594A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be89f98f0bc8ed6448e67fb2277a2d37ee2b04d5","datavalue":{"value":{"entity-type":"item","numeric-id":5013623,"id":"Q5013623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d934a9f7d3b86b5566424b3b42fc074f2be10dd1","datavalue":{"value":{"amount":"+0.8527235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904055$D99CAE4F-8F27-4A88-A90B-FFD001D8DC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7745c71156ecdc53ab628c037baa8a9017ec16f1","datavalue":{"value":{"entity-type":"item","numeric-id":278747,"id":"Q278747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b06d42f650935fdbc9cbc70428e596275b3c47fe","datavalue":{"value":{"amount":"+0.8389511","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904055$83CE0198-747B-4A7A-99AA-AAC57CCCE434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca8bd5c8228247921d211e8b7ddf437ca996d45","datavalue":{"value":{"entity-type":"item","numeric-id":4918406,"id":"Q4918406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21e96752b814dab62a0ecf8165009b925fada1a7","datavalue":{"value":{"amount":"+0.83828163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904055$8F52C643-ACC4-4105-9F91-92FF4BF73893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f292561d2cc183d4cf0ffaf87cc26fee7434301","datavalue":{"value":{"entity-type":"item","numeric-id":5940932,"id":"Q5940932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c0cbeb309ebc854f8ce69140f283aa865e406b3","datavalue":{"value":{"amount":"+0.83552104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904055$9F1FCB5C-7699-4679-BF3A-A9C88C71BEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0481f031154a8dd53d911682af117a071e4b93aa","datavalue":{"value":{"entity-type":"item","numeric-id":3179309,"id":"Q3179309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f1ac130f3e64e0b0d9b6f0cff18b8a375c0eb4c","datavalue":{"value":{"amount":"+0.8354938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904055$8DDB40D9-E2B0-481F-83B0-0AAEEC881236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a11e008eccf28159f91214e90559f26bf1f901","datavalue":{"value":{"entity-type":"item","numeric-id":2252644,"id":"Q2252644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ff721bcb4b8e5491c417deb1612f7ca0915649","datavalue":{"value":{"amount":"+0.83396226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904055$3E765B3A-D790-4EFB-B568-E7429BF288B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"774ef65a46726415f894b24305c68bc0ab61c093","datavalue":{"value":{"entity-type":"item","numeric-id":4202939,"id":"Q4202939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a63b9d03aaa8859343dc97d0fe4e40261a106e4","datavalue":{"value":{"amount":"+0.8334213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2904055$8466229B-DC1D-4BEA-A847-20E5832DEC8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"989dc3e27057256f22883a966cd8b5d433c2b982","datavalue":{"value":{"text":"Completeness proof by semantic diagrams for transitive closure of accessibility relation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904055$399B3844-D5E1-49EB-9B7D-F339EDAAB35B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904055","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904055"}}}}}