{"entities":{"Q5224894":{"pageid":7254463,"ns":120,"title":"Item:Q5224894","lastrevid":53486831,"modified":"2026-01-25T01:07:03Z","type":"item","id":"Q5224894","labels":{"en":{"language":"en","value":"Non-classical PDL on the cheap"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7085131"}},"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":"Q5224894$D35CB152-FB2E-45EB-8FFD-DCE12AF3E20D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59ecf8b6c880f30b61c05b948626e5c6f0d119e4","datavalue":{"value":"1418.03143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224894$BFA112AA-2821-449F-BC57-A13A2925AD8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09805c4574013ec5efe52d1a718be5de2476fee3","datavalue":{"value":{"entity-type":"item","numeric-id":777890,"id":"Q777890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224894$4B6BAD2C-7DEB-48CF-9892-FF0FB441A377","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224894$DEA251E0-ABAA-49CC-A08E-6FB3B14B922D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224894$685E9066-B521-47C6-8699-4F8624098908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224894$C9FC786F-68EC-4C22-A5D9-BB7BB2685C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224894$66EE1660-C157-4DFF-B172-5E0FA228B993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224894$6BC7B11B-BA3A-4B1A-A7B3-022854921EC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a11a2935161de78ffc1008a07cbffdbc5cde743","datavalue":{"value":"7085131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224894$8E433812-F83D-4E1D-BCD2-0D1E973AA3A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e40a5c53960a6c3fb070e053477d50baf781e1d0","datavalue":{"value":"DeMorgan negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224894$519D1C0E-6FCC-46FE-A29B-55555631D42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a19ee8aad600f8a8d69bdd7926714d1fe67f8b3e","datavalue":{"value":"epistemic planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224894$2C8CFA34-5B67-435B-9ADA-C4243CB71534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224894$CE0AD081-DB93-406A-9C78-A0E7A25EA07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224894$7D51DC26-8724-4FF1-95E2-32417E288D2B","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":"Q5224894$867D7D81-C0A4-407A-A4B1-26E19B8E7400","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d7959c14699da8f81cf52b7d7338af24a305987","datavalue":{"value":{"entity-type":"item","numeric-id":3647227,"id":"Q3647227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"085bedd35f29dbc355de0c4620aa8bdbcf61efd0","datavalue":{"value":{"amount":"+0.7800596952438354","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":"Q5224894$B282BF63-EFFB-44BC-A51B-5709EE2AC50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"432547349cd9fee72bd28888518b32c35fb0ac2f","datavalue":{"value":{"entity-type":"item","numeric-id":5307064,"id":"Q5307064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dca74d6327c619407bf9cd71ebbc2629f90907ff","datavalue":{"value":{"amount":"+0.7785272002220154","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":"Q5224894$95102040-1F73-4EB8-BB5A-4DBDAC26F5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2849153baacf8083264a8111ea48a9bf6a845ac","datavalue":{"value":{"entity-type":"item","numeric-id":4636052,"id":"Q4636052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ff8b1279e1304f6e6015af36276cd4ce333101","datavalue":{"value":{"amount":"+0.7719916701316833","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":"Q5224894$D17F7753-E9D9-422A-87A7-210C55559E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d58ae93a2d012429d68bbecfe8d1367e8b44c8f4","datavalue":{"value":{"entity-type":"item","numeric-id":5014054,"id":"Q5014054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d1b9a1ed70e36f4a7161c412b2cfbaeb1678507","datavalue":{"value":{"amount":"+0.7717137932777405","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":"Q5224894$692EFE9B-F61B-49F4-85A8-68307698DE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14a7b8fba294e6420334b330ac54f576373b57bc","datavalue":{"value":{"entity-type":"item","numeric-id":1799277,"id":"Q1799277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e0889ab51d60fa7ebc2899a40e013c259e17aa4","datavalue":{"value":{"amount":"+0.7400916218757629","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":"Q5224894$22911CAB-19B0-4A69-AFC9-224A8C9AE595","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224894","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224894"}}}}}