{"entities":{"Q6545573":{"pageid":14156727,"ns":120,"title":"Item:Q6545573","lastrevid":55669489,"modified":"2026-02-17T20:44:22Z","type":"item","id":"Q6545573","labels":{"en":{"language":"en","value":"Logics with probabilistic team semantics and the Boolean negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7855152"}},"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":"Q6545573$1884308A-6820-4F2A-897A-FB6D185E7AC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f55fcb13eeecc7989c3ba5904df9c6e8a7e89f0","datavalue":{"value":{"text":"Logics with probabilistic team semantics and the Boolean negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6545573$C85CEF05-234C-4B03-AB97-1E5953FCBF2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f56c6b56fbbecd80389fed7046cd07bf40f97e8","datavalue":{"value":"10.1007/978-3-031-43619-2_45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545573$CDA65261-0DA4-441D-A4C3-D45A8EAD13EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9268bd0662723881aeb01450a336c942a22b3e8","datavalue":{"value":{"entity-type":"item","numeric-id":269504,"id":"Q269504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$208979CD-2A11-4C3C-BDE0-4820F4F3554B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66e3f2f2f24ea9eecf054002dab4b094f557a15f","datavalue":{"value":{"entity-type":"item","numeric-id":2103912,"id":"Q2103912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$0E524EB2-8CDA-49CB-ACB3-32CF8A8E51E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6c92a6d1e244ef6727f00b02d0236f9547dd35","datavalue":{"value":{"entity-type":"item","numeric-id":269505,"id":"Q269505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$8C0FED73-E459-4374-87B1-BF9B9D50E763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88b2d11306f46958b417115759f770635a649dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2075380,"id":"Q2075380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$77F56735-FFAD-4D32-AD5B-50F44FC47632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"686a3fe5d11b6343bdc23cbf052aabbee263958a","datavalue":{"value":{"entity-type":"item","numeric-id":393135,"id":"Q393135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$A85C3EDB-C084-4C08-805F-6A4CD80EF9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a68336f23ccd8dad5714debd99f0e6466c9d2a","datavalue":{"value":{"entity-type":"item","numeric-id":476185,"id":"Q476185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$AF394C97-189E-442F-A805-EBEBDF434681","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6545573$C1F7AF49-B635-43E5-84D8-A09E9C08CE12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545573$297D88A3-345F-4EBA-A08D-261DC1B90643","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab5a228d2d67f7b4981c535ce723399aed6f28c5","datavalue":{"value":"7855152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545573$38E9D852-608E-4207-88B3-6CF065E8C62D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8ca46b0f2ef660d72f1148eb33ab649b5f4a601","datavalue":{"value":"probabilistic team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545573$70BDCCF6-F39B-4116-9B2B-BCBCBEF1306F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545573$B8EB5929-255A-414D-A3A0-F45074B1787E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545573$CD334DC2-98E4-4F8B-8483-856F7C766983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545573$B4E0C754-9E8C-4329-A7A2-D8904FE70F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545573$69581CD2-A448-4845-A31F-B0C8FD125A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85e6517548f374891485a42f6d7826770a331843","datavalue":{"value":"expressivity of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545573$DBC3F78A-8CFD-4B4C-A775-744A1F4E3961","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":"Q6545573$30B467D3-96B4-4487-8240-C8C98633F27E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4e459ac4674e6a8fb30d8dbe9bad3f3ab2e99d","datavalue":{"value":{"entity-type":"item","numeric-id":3033315,"id":"Q3033315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$DB71C628-0B8A-45A5-B44C-AA20DB041828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc00a0cf045f327cab813e979ac8311b9b12266","datavalue":{"value":{"entity-type":"item","numeric-id":2489141,"id":"Q2489141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$F3BBD7FE-6756-480C-8E74-7B7FC0E3C53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd09a17cf2a41ace765d75228c1b1d9e741222d9","datavalue":{"value":{"entity-type":"item","numeric-id":1783737,"id":"Q1783737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$7C74A6B2-E2FD-4181-BD27-DA929ECDED30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92519a57cea63c4ef560f91abf6fd5c4b6d5056d","datavalue":{"value":{"entity-type":"item","numeric-id":1647487,"id":"Q1647487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$52BB4071-F0F3-4069-8A26-48037E3176B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c5c64f69e37c8c003a24ea30285af32cd76211","datavalue":{"value":{"entity-type":"item","numeric-id":5056358,"id":"Q5056358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$B7D390C8-09A3-4841-A3A6-DF4EC0E0C62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d174a5532fba5272b2f046018846c5d54ed5d3d0","datavalue":{"value":{"entity-type":"item","numeric-id":2958528,"id":"Q2958528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$8BAE38E5-A71D-47AF-BFFC-E047D7208D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b87d42ea44205b35a73a445f9bdd14d49dc880a","datavalue":{"value":{"entity-type":"item","numeric-id":1383163,"id":"Q1383163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$F0513473-7C20-4304-B47A-B713CF77C146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01805c9e464e4b93aa7eec24542060e7134a31ea","datavalue":{"value":{"entity-type":"item","numeric-id":5925562,"id":"Q5925562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$412A26CB-2CAE-4429-BA21-672F5E350E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228589e165be309b7eb224cab83d11c97eb3f6d1","datavalue":{"value":{"entity-type":"item","numeric-id":2296714,"id":"Q2296714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$709602D7-09EA-43E1-8D16-B59DB9FEAE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ca637e85f1188437c614c63e7ec9afd66e67fc","datavalue":{"value":{"entity-type":"item","numeric-id":2172823,"id":"Q2172823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$69A118D2-13EE-49C1-A889-D48DD9DA83BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"680797ba42b861d820c61e3d439af08cb8fcfb49","datavalue":{"value":{"entity-type":"item","numeric-id":5145662,"id":"Q5145662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$C166D1B8-B070-4776-8052-197D4C030FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf7dedc89a4c13084ddfcf138091edd6847a75b","datavalue":{"value":{"entity-type":"item","numeric-id":5015279,"id":"Q5015279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$C594F18D-90D8-46BD-A310-27071277865E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b5fc26794bf1e4cd27075287a57428875e447d","datavalue":{"value":{"entity-type":"item","numeric-id":4608724,"id":"Q4608724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$C3CAB8CB-BC7D-4A48-9836-BF8F978C3CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4ab4fd484e024cc6ee62a23ab419c1a868074e","datavalue":{"value":{"entity-type":"item","numeric-id":5918795,"id":"Q5918795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$D0659D4A-8F5D-498F-9C26-3EE858AECB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$B80EDB2D-01F1-4C17-AC58-016261594616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"757b837d8745136827f80af08d646c3dad2e150c","datavalue":{"value":{"entity-type":"item","numeric-id":2402954,"id":"Q2402954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$8FD18E7C-DB38-4A36-8AFE-6B52037E5AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7f7d33ac25b10eb1bd60ef4dfd2a228c0e1581","datavalue":{"value":{"entity-type":"item","numeric-id":5894359,"id":"Q5894359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$E815DA95-94DF-4C2C-97D2-DDB3A17D7A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5cdf9401f1678725fa8a86210b9dd0d2f41d06","datavalue":{"value":{"entity-type":"item","numeric-id":6103455,"id":"Q6103455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$A1B3E89F-051C-4F5A-835B-5B3AA549B1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"123f0c50ee2062e5b8905b6b8515a5aec48847d2","datavalue":{"value":{"entity-type":"item","numeric-id":519892,"id":"Q519892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$5E490D45-16E8-4972-8AA6-BE39087C998F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545573$84FBA30E-7021-4EE3-80FA-D39240942022","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5e82555c17c0a62a4ce12735191326bc3967a41","datavalue":{"value":{"entity-type":"item","numeric-id":2296714,"id":"Q2296714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5311f581af21daa69e726f629aa0e25897540189","datavalue":{"value":{"amount":"+0.7896333932876587","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":"Q6545573$550B1F49-363B-45A8-9C35-FABC0D3A392C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee171b1b93571dc2315cd2c12b18277277d2310f","datavalue":{"value":{"entity-type":"item","numeric-id":5918795,"id":"Q5918795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f32f329e523a8160bcdf1616db869deb352e9752","datavalue":{"value":{"amount":"+0.7819756269454956","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":"Q6545573$40516C70-1761-491B-839E-55C066241B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1f05684640522d7acb09a811e6bcb3057c09afd","datavalue":{"value":{"entity-type":"item","numeric-id":2172823,"id":"Q2172823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c8ee94e39c7ce837d6f6b6a3b7ac6a24df42fd","datavalue":{"value":{"amount":"+0.7748910188674927","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":"Q6545573$C663FF85-A4C4-44CE-B6D4-1F126A07E340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f631d0229a398efbd37a3987d86bc27b692db24","datavalue":{"value":{"entity-type":"item","numeric-id":4608724,"id":"Q4608724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3be27e94797f415da996cb7172d8ec128a475f99","datavalue":{"value":{"amount":"+0.7653279900550842","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":"Q6545573$53465E06-DB25-4E10-814C-51A3F01ACF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6b9d094e3386eb0fec30d3f8099d8fda5624ee","datavalue":{"value":{"entity-type":"item","numeric-id":1647487,"id":"Q1647487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"926e210192261cb898a4ad70b16e6b4609358d05","datavalue":{"value":{"amount":"+0.7624576687812805","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":"Q6545573$E4F753D4-8DF9-42CA-B522-8BF4ECEF1850","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6545573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6545573"}}}}}