{"entities":{"Q3326827":{"pageid":3337535,"ns":120,"title":"Item:Q3326827","lastrevid":48710782,"modified":"2026-01-05T16:43:27Z","type":"item","id":"Q3326827","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3858391"}},"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":"Q3326827$C6F8CD06-9FA6-4B90-BBC1-42CDC2B4E1C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0784f12069103cc03b6a4bb1b4ea2a39318cf919","datavalue":{"value":"0539.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3326827$94F8A836-2CFA-4F49-9B57-F3DFA2930A2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e99c5cadeb49ba2d1164b9f9e186439f77825dc","datavalue":{"value":{"entity-type":"item","numeric-id":230000,"id":"Q230000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3326827$F8556EC4-B96B-4774-96C0-6D18E28C7F69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3326827$1779CC96-E187-4530-800F-A443465BE09A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3326827$BBC665B9-E488-4F77-A31B-20E9425D62F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e7821ac546420ffac288c241a881e247a33d0c98","datavalue":{"value":"91A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3326827$FF6A9A15-B75B-4EB6-8B34-7A35BA2B3075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3326827$19785368-FD75-44CA-A01B-8222119C4596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3326827$E90F2896-74CC-4688-81A5-064BABCAAD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3326827$341FE90E-A441-47E1-AAE3-CBA0FBFEC981","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a48591780cd46081cdd42450a94a05b366d66991","datavalue":{"value":"3858391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3326827$EC6FC16A-6AED-4BCD-92A9-8BF9992F4337","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3326827$78BC04C3-39C1-4CC7-99DE-42004955C0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c21b6aaa715fe22ece3400256414967ad4350","datavalue":{"value":"extensions of PDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3326827$89B6606A-B703-40EA-B963-0C3C2E51B236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e236badcd38d4db58750936b40e73932ea1622d0","datavalue":{"value":"Propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3326827$1AE3C785-AAA2-4A08-90EF-22E1094BD1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"780e70d3489c1ab1c1a260fe39d2b68ef46d497d","datavalue":{"value":"propositional game logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3326827$715FCB1B-69AE-49D2-841A-52248D82B387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d75b4b8cf8692abb686a6498a20d86f825b2524","datavalue":{"value":"decidable propositional logic of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3326827$BAD0CA4C-38B8-4142-A4DC-1A3A77B0AE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa4bb2c5c9abf63497a0d646d02333049a81e428","datavalue":{"value":"cake cutting algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3326827$469175BB-9FD9-4EBF-B0EC-DD480A23EC35","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":"Q3326827$BA665BAC-4D65-42B8-9B77-4B8A122D7ED5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4131ef5ed0c2b68e4b490354de95c4295fec9455","datavalue":{"value":{"entity-type":"item","numeric-id":2702562,"id":"Q2702562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35922afafeb8c5ac4cda7cb332bb61461a6b4999","datavalue":{"value":{"amount":"+0.8095402717590332","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":"Q3326827$D687C6DF-5DEB-47E7-868E-477D27017135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed23dc11c8fa70f487cd288f75892943a3baa877","datavalue":{"value":{"entity-type":"item","numeric-id":3721807,"id":"Q3721807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a050b8183e73d25d97d1a39f7ddad3d0ea03de","datavalue":{"value":{"amount":"+0.8095401525497437","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":"Q3326827$CE1F0A5C-1ABE-4306-BBA2-295158EFA70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bb287b83df0b14610557bc15aaf86cee4b0d7a","datavalue":{"value":{"entity-type":"item","numeric-id":3219755,"id":"Q3219755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"932d575905324d012f0086a19e7fc6b967f23ddc","datavalue":{"value":{"amount":"+0.807758092880249","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":"Q3326827$65600ADD-9BDA-42E2-B760-141D3E54D9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2568de7412b944188e8c3ba2701bb17bfbf8be2","datavalue":{"value":{"entity-type":"item","numeric-id":4665732,"id":"Q4665732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9585c7c72568b2b2c3def9f9fae5297921151d7c","datavalue":{"value":{"amount":"+0.8043478727340698","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":"Q3326827$96B68417-984D-4FB1-A991-8B28420EAB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5161e70e2a34646dd831d3da7f66fa24716b2321","datavalue":{"value":{"entity-type":"item","numeric-id":1065545,"id":"Q1065545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de4d17d6e5f370a50eee4a635438263ae3cea95","datavalue":{"value":{"amount":"+0.7962692975997925","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":"Q3326827$3CB297AF-67DE-41CC-B176-83D8EFB808E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3326827","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3326827"}}}}}