{"entities":{"Q3315481":{"pageid":3326189,"ns":120,"title":"Item:Q3315481","lastrevid":48680035,"modified":"2026-01-05T14:28:51Z","type":"item","id":"Q3315481","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3845549"}},"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":"Q3315481$5694491B-AC06-4E9E-BE80-054DB5E86204","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a229b2822ae151f601cd3bfcbb0514f16434972","datavalue":{"value":"0533.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3315481$4323A2A5-2B07-40E3-925C-4E264037AA2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f176c57a4367ad5b382cbda8b83dad6c2cfec594","datavalue":{"value":{"entity-type":"item","numeric-id":213236,"id":"Q213236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3315481$1D3B69AA-139F-4618-861A-6F643E4F5A28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3315481$3A0FEC11-1036-4999-B97A-1E4F71C3FBE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3315481$F500FA80-242A-48E0-9D36-EE97D0A03A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3315481$D922BD3C-C90C-4495-B123-7EC2C28F2F89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ba2bee23669ac570ccade2a10ac39a2f658ce0f","datavalue":{"value":"3845549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3315481$6D76C235-70E6-417A-8654-41DE3DB88777","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3315481$A24F8E9D-DC1D-4472-A364-068BA31B1EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe5fd4ad4b27a13cd8f0190c4e682a5deba6409","datavalue":{"value":"propositional quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3315481$7E80B119-CCC9-4613-838B-A71B547BD2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"875d0ef070f5ac8b57772f4776fb872aab667adc","datavalue":{"value":"extension of propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3315481$D6172329-1DB8-4204-8595-5FB4F5051AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c9d92cedc24507fb6046faae06d49c3e05743","datavalue":{"value":"complete axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3315481$A838DC18-3E38-4570-9AD8-EE89B588D82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3315481$4D1AD957-E09F-4004-BDC6-5BEAD1B25C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d5d94cd16db12e7645ff970df1adb03af34480f","datavalue":{"value":"normalized models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3315481$74A7B114-14A7-4818-83A4-3EFE5F4BE799","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":"Q3315481$F459B520-B229-4D55-9857-99372601CC0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d78413727162c6dd52f754522fd1358a83a17fdc","datavalue":{"value":{"entity-type":"item","numeric-id":3708782,"id":"Q3708782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af27abd228b008286e21d20b5b5de3fc24884c6a","datavalue":{"value":{"amount":"+0.8762962222099304","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":"Q3315481$0BF0008B-5943-41B2-B357-5925DCC7132F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4feaf3e934550e5c5d086c51179bfdf0cde50c6b","datavalue":{"value":{"entity-type":"item","numeric-id":5415640,"id":"Q5415640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c4d73408c4d22bf335845bc5123f91d57046878","datavalue":{"value":{"amount":"+0.8427653312683105","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":"Q3315481$A4ADA30C-DD00-4C1E-8C93-331B18C81DC5","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":"adc319c890dfd1fc5aa04b1e4abfd1b749e865f8","datavalue":{"value":{"amount":"+0.820401668548584","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":"Q3315481$984DEA18-E170-496C-A422-9FD2849239A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"565e8ed340f008dab2142c3971e3e090591f63d4","datavalue":{"value":{"entity-type":"item","numeric-id":1062972,"id":"Q1062972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d583da784656d47fa31ef64638691faa0c2f66b4","datavalue":{"value":{"amount":"+0.8104903697967529","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":"Q3315481$442164CD-C023-439B-B812-D49064C0750A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be7832648067ba9f6ea233fadce1b854a0c6a33","datavalue":{"value":{"entity-type":"item","numeric-id":1267078,"id":"Q1267078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1348ec9c3f268bda3754d175d10fec535dddf61b","datavalue":{"value":{"amount":"+0.8092450499534607","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":"Q3315481$B24841B7-5E1D-4541-87EE-1064D0DA5D97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3315481","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3315481"}}}}}