{"entities":{"Q4583171":{"pageid":6612756,"ns":120,"title":"Item:Q4583171","lastrevid":40922782,"modified":"2025-04-14T04:26:48Z","type":"item","id":"Q4583171","labels":{"en":{"language":"en","value":"Public announcements, public assignments and the complexity of their logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6927947"}},"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":"Q4583171$56151B22-1286-4C8B-9A60-D521C1DCCB5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"081b7a0b7ad4044f45cb75fea0a6a00033f9a2d6","datavalue":{"value":{"text":"Public announcements, public assignments and the complexity of their logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4583171$98BBF013-9CC9-48A9-A4A2-105BBBAF29F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1cf12bd5707e608808ba379ce193d192a011b15","datavalue":{"value":"1398.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583171$46E703D5-9961-46A0-A87D-8706D36E20BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b544db907e446b5def3b13ac1110b8b61a0439d","datavalue":{"value":"10.1080/11663081.2012.705964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583171$633CF2BB-F50C-44D2-BE63-267742284BA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb34c0f0dfb2eb4c6f3a6a5df96c0159936e52c2","datavalue":{"value":{"entity-type":"item","numeric-id":302221,"id":"Q302221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583171$3FFCEED5-0F65-43E4-9226-634A075B6AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d09766d888a0213ca4fbb8f44744783f688574e","datavalue":{"value":{"entity-type":"item","numeric-id":970090,"id":"Q970090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583171$D1F22D83-B0E8-43EC-8BB2-297CC7C55E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f27638688e066d21e35c07e7ef6cc3de4c06e2","datavalue":{"value":{"entity-type":"item","numeric-id":813421,"id":"Q813421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583171$E7E72855-1737-4EE6-994B-D69E1BFADE92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583171$67E24A3F-9B70-4EA7-87D5-D32B84C3A98A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1a7e956705fd1b7f7e3c263c8e7183d11ad0ebd","datavalue":{"value":{"time":"+2018-08-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":"Q4583171$97A09AFE-5E1D-473B-BEDE-C3468B9E82DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583171$3D8BEF3C-FFF4-4C98-BAC5-5A515B8920A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583171$7A8C8BB9-94F3-4C48-8CBC-E5962DA4F238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583171$0C239E0E-2481-4752-9BFC-D078730467C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b273aa5805069ea5f9d63880df98e0d670298f4","datavalue":{"value":"6927947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583171$38D36402-3494-4DE4-9ACF-68BFF2071EF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99e463b9da3c84cac663d2284dafb56253b13d1e","datavalue":{"value":"knowledge representation and reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583171$2C90AD4D-F6CE-4F48-BB06-DAC18AB3E713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583171$B0FE5F63-2647-480A-9832-383AAB34FEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"556999bacb72d38f127f027ec87defd656cc943f","datavalue":{"value":"public announcements","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583171$DC773A04-346E-4CFE-AF58-D8EC6FEB59A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"673a3039eb85f8bc36fec044c4d0d1b9d9ac89e9","datavalue":{"value":"public assignments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583171$3BA841FC-759A-4717-AF0F-9798A92AF379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583171$0F02B918-14E4-4B54-9AF6-C58082E45280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d9cc70ede754a4c2ed1cb8bd3eac549b7b03ff2","datavalue":{"value":"reduction axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583171$6EF1A74C-6E3C-4738-B2C5-7954961B6179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583171$08C16B72-142C-4BF8-AA0F-8020FA8BDBB9","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":"Q4583171$45476514-4FE5-4632-8878-E2BF5D650E80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"952a06c4d24304bf27271fae9dcf3ecc6414b976","datavalue":{"value":"https://doi.org/10.1080/11663081.2012.705964","type":"string"},"datatype":"url"},"type":"statement","id":"Q4583171$A6B553A1-78DB-438F-AA33-3C5E04725594","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcbe185e9337782538bfd5fd09d66ed2301066f4","datavalue":{"value":"W2065423509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583171$3B6461AA-F48B-4D39-A0C3-555D826A1757","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b93fc871a033f66a63843f78136fb736af8646","datavalue":{"value":{"entity-type":"item","numeric-id":1606305,"id":"Q1606305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583171$5ED2E632-5E23-42BB-9D79-2328EA8CC1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b6a9ea45ca3a49789d1a37c0a2631d2309a08d","datavalue":{"value":{"entity-type":"item","numeric-id":2971701,"id":"Q2971701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583171$A1FDE2FA-6CDA-46A8-A994-EDF5CB7620E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ec62fce4f4d33f9c543fc98da906a3f365b829","datavalue":{"value":{"entity-type":"item","numeric-id":3647272,"id":"Q3647272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583171$A37C1660-7E1E-4C9F-AEEB-9413B1610571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28deebb9f03725888e2cb415bbaa29688963935e","datavalue":{"value":{"entity-type":"item","numeric-id":2751358,"id":"Q2751358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583171$498A358F-E1FF-4394-9376-177163A9DFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d58245da881f3cdb86d99b65a47aa10bf7772d3","datavalue":{"value":{"entity-type":"item","numeric-id":4016561,"id":"Q4016561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583171$57E1F8CA-C6F4-4A6E-843D-8DAB3BC278F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373b09c1ad3afc09fbc8a8a75ccfb9ce5433773d","datavalue":{"value":{"entity-type":"item","numeric-id":4779807,"id":"Q4779807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583171$FF059533-C477-4167-BFD9-B5924AAC82DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6ed2f0fd28cf192ae55cb0f4c8a95d71fd6c90","datavalue":{"value":{"entity-type":"item","numeric-id":814427,"id":"Q814427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583171$95748EAA-DBFF-4311-993C-2ABEE70AED1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed9a3df0fe6e59184c7ec28a20fc3c19007e4d6","datavalue":{"value":{"entity-type":"item","numeric-id":859825,"id":"Q859825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583171$EF000573-841D-4F43-B818-5CB4AD53675C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c54c33914b602868fbdd6c95158bd6014f902b6","datavalue":{"value":{"entity-type":"item","numeric-id":3006113,"id":"Q3006113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583171$8E4CDEAE-2FDC-41C8-826C-DE9F7B29B807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"856f174cb5ff12704323688c5358a4073aac4ee2","datavalue":{"value":{"entity-type":"item","numeric-id":5296759,"id":"Q5296759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583171$78F40097-434A-4715-A998-0279429FBAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583171$AB69C158-247E-49FE-964A-720BA318DED7","rank":"normal"}],"P1643":[{"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":"2f66e1ad3725f25a45b1ff47c09c15bcb5518653","datavalue":{"value":{"amount":"+0.891612","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":"Q4583171$262CA526-8919-4F16-A6D7-74A038D864AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6fb3f7994b86e767aed81792445b2c631e92265","datavalue":{"value":{"entity-type":"item","numeric-id":484926,"id":"Q484926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f8c3bf6fd0cb413f4f06af3553e680dea4c2fdf","datavalue":{"value":{"amount":"+0.8793833","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":"Q4583171$1961FFA9-6F42-4415-85EC-B1A22A4C33A1","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":"1f6c2c595478a07bb80945b37c8b580764dd2d12","datavalue":{"value":{"amount":"+0.87876993","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":"Q4583171$ABD71A05-EA64-4D8A-A751-94863AE398C8","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":"83f5b2341e7fbca5a73cb7cad565a937c84fe899","datavalue":{"value":{"amount":"+0.86780256","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":"Q4583171$CE80DDCF-7928-43DD-A0C4-3390FB891BF1","rank":"normal"},{"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":"20f4b68f3ccbd0d0a5bbda568ff69338756355e0","datavalue":{"value":{"amount":"+0.8670157","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":"Q4583171$52BD4639-5C9F-4838-8D97-72A0D510540A","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":"9ce5a9ad0c0411df51083a937e98f6c96a491b62","datavalue":{"value":{"amount":"+0.8647849","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":"Q4583171$7BD4E08C-B4D5-4FF6-A266-99F352CCAC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f9b043eb1703746078a2a36fd964d062bc68e5","datavalue":{"value":{"entity-type":"item","numeric-id":2055768,"id":"Q2055768"},"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":"Q4583171$47186E61-1CF0-456D-800A-343DD238FF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1db1519e16214409fc57397889eef65333cfaf9d","datavalue":{"value":{"entity-type":"item","numeric-id":3019977,"id":"Q3019977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f15ac3b0af6e2834963e3195773f7f087a8a7fd6","datavalue":{"value":{"amount":"+0.8623517","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":"Q4583171$ABCEBB68-31A3-4CE2-9AFE-5344428CEA1F","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":"0c9e5b1abff95a3436c5efc7ad35109db7421a27","datavalue":{"value":{"amount":"+0.85821295","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":"Q4583171$5449BC28-4BC6-406B-93D3-38E3C64922C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a491f9753887083d8ca5062b61b688dcb35f785","datavalue":{"value":{"entity-type":"item","numeric-id":3086938,"id":"Q3086938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63c9f12a8ef749a0a0143e10e659365303d4a47f","datavalue":{"value":{"amount":"+0.85650355","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":"Q4583171$A1BAB343-8ED3-4BA4-A379-71C3C924F715","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4583171","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4583171"}}}}}