{"entities":{"Q2055768":{"pageid":2066510,"ns":120,"title":"Item:Q2055768","lastrevid":71246547,"modified":"2026-04-13T20:57:52Z","type":"item","id":"Q2055768","labels":{"en":{"language":"en","value":"Public announcement logic in HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437025"}},"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":"Q2055768$AD9303E1-8CDE-42FE-8851-9B136BC75EF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c2a256d8f5da7f17eb61a52b350c963319ec8a3","datavalue":{"value":{"text":"Public announcement logic in HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2055768$BE40CF21-187B-47D3-AD96-F9EDBFF29EAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b93a655a9cb0542e6de97c5f9b28ccf67663c069","datavalue":{"value":"10.1007/978-3-030-65840-3_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055768$F5BE1D02-AFEE-4BA1-AB7E-01AA66FC5C60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4b9b259f0c8a49e18d97afa54612ca3867ca702","datavalue":{"value":{"entity-type":"item","numeric-id":2055767,"id":"Q2055767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055768$DE76C456-D425-44E6-830B-74595721E68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055768$6F4717BE-9F9D-42B9-9449-9DCE1A450D7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"083b9dcd5269b8796cca7eb2ababa434dff5de3a","datavalue":{"value":{"time":"+2021-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2055768$0361C3F2-5C38-48A8-92B9-BE66B410624E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0de4476b07c85d60bb4e580e318bbb7dde50fcfc","datavalue":{"value":"https://arxiv.org/abs/2010.00810","type":"string"},"datatype":"url"},"type":"statement","id":"Q2055768$D8C949F0-AC19-4FDF-9C12-683064F066DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055768$6EDDBDCA-BE12-42EA-81ED-8BE15A07E1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055768$D1F8856C-8257-4071-8988-B2A362811A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055768$50E5D146-E22A-447B-944D-F0481FD3EB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055768$ACA45795-0A17-441E-AE08-27B997317A26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4ebe47c0f656ad3324479455e053763b32b175c","datavalue":{"value":"7437025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055768$CA8CED14-A714-410B-BD07-C256F5BC719A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b5a73d2eecbd01b119918d684435600d817527","datavalue":{"value":"public announcement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055768$2EE6EDCA-099C-4D7A-B723-B055F7CF535C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b028030d3bcf322b41a234ee83c448daec76d66","datavalue":{"value":"relativized common knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055768$E540ACD1-073D-4F05-B18E-5DC918763E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7335c316e60c3e2a4bf4aa0e4f7ed341af887457","datavalue":{"value":"semantical embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055768$E2514FC6-2170-47D2-B087-2C95A857E4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055768$AE614B2C-8D44-4C4C-B94C-86D31E1E6365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d62798ced101241ac0d5e46110e32d69e73a0c1a","datavalue":{"value":"proof automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055768$0A0859CC-E4CC-4A5E-A87C-9C745F935CBB","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":"Q2055768$59D2B20A-BEC8-40E7-AEDA-3A344E935E97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b38b3915806a74d7eade6726bb763275b03daf39","datavalue":{"value":"W3093680112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055768$CFBC9CBF-84A4-4F60-B657-F6F20E7EC219","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52bf9bea13dd1b89cc55d9601b43ec047c52ed8","datavalue":{"value":{"entity-type":"item","numeric-id":4636308,"id":"Q4636308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a783716a939806e858c05ad4957ca9bb860bb81","datavalue":{"value":{"amount":"+0.886747","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":"Q2055768$FB0D5A77-F067-4306-892F-BB796D833975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b081e4cfa3ac90661bb9d724d20991f3685a3a1","datavalue":{"value":{"entity-type":"item","numeric-id":3094018,"id":"Q3094018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb08c2f756a35b0c0bd9f02b665b850dcca770b","datavalue":{"value":{"amount":"+0.8736706","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":"Q2055768$68BBA8E9-5F83-479B-9157-6766EAB9CF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32427d305ddef54839c3b7329aee15f5f050c510","datavalue":{"value":{"entity-type":"item","numeric-id":484925,"id":"Q484925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83bd4a6c06c0588821270132ac8b979581c2dc93","datavalue":{"value":{"amount":"+0.872435","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":"Q2055768$87EBD4B2-FAE2-424B-8508-3CFB746E68FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e06672a2461f43ffd04a21c83c5a4f81c6dfb08","datavalue":{"value":{"entity-type":"item","numeric-id":4636028,"id":"Q4636028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c2f9039139f4a40ea5511f7578d3d0063e68651","datavalue":{"value":{"amount":"+0.8723757","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":"Q2055768$51053C62-F701-431D-8DEF-B65A577C1ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1035876c95dc99f397fce3a44833e795f9f1985f","datavalue":{"value":{"entity-type":"item","numeric-id":5377700,"id":"Q5377700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc98352176b5235349bec5eaf2118a3f6114aa2","datavalue":{"value":{"amount":"+0.8672132","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":"Q2055768$D862F8A2-BA2A-42B6-9AE0-41994E2C6FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5464eb4f247b4c60cfbfd5b37f065d6300a02496","datavalue":{"value":{"entity-type":"item","numeric-id":5434478,"id":"Q5434478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71edf38f2104ec62b861dc8e03c58a5e48f68b35","datavalue":{"value":{"amount":"+0.8636592","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":"Q2055768$236D6544-55F7-4CDF-875F-BB2BF883926D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5dea2d614a3862fc279c57179e6f017d3ac2bb7","datavalue":{"value":{"entity-type":"item","numeric-id":4583171,"id":"Q4583171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60a7b56012a067381a9148ab607a0ccc19d2523","datavalue":{"value":{"amount":"+0.8627341","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":"Q2055768$DA329033-1B36-46B6-9219-5E65BFD4A910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de6e4d0d3bc80dee51a23966d7fd08c8042b380e","datavalue":{"value":{"entity-type":"item","numeric-id":4917078,"id":"Q4917078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"561d380ba1690b91d37af508f88f8525dd857e3a","datavalue":{"value":{"amount":"+0.86202645","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":"Q2055768$96978151-CDC9-4A7B-8E00-C814168E6BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a17986a1ed2b8b220881562fd3be41628660b35c","datavalue":{"value":{"entity-type":"item","numeric-id":2898469,"id":"Q2898469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f01d79910ee2058fcbb791527e8589f17ba8545","datavalue":{"value":{"amount":"+0.86174035","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":"Q2055768$84FC9E03-5917-473D-B4AE-C15D54A540FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71e2ffe298ccfb1d9d4a70c5119f4a12c8b655fc","datavalue":{"value":{"entity-type":"item","numeric-id":3406684,"id":"Q3406684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"889cd8582a6712fb483fac82fa58f74ca236bf42","datavalue":{"value":{"amount":"+0.86071587","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":"Q2055768$13C6F1C9-6845-4F39-B6FA-407B7CB79239","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Public announcement logic in HOL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Public_announcement_logic_in_HOL"}}}}}