{"entities":{"Q3080427":{"pageid":3091142,"ns":120,"title":"Item:Q3080427","lastrevid":85713293,"modified":"2026-06-03T11:15:45Z","type":"item","id":"Q3080427","labels":{"en":{"language":"en","value":"Decision procedure for a combination of logics KD4 and PDL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5864583"}},"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":"Q3080427$A7CEE053-4666-4BE6-97B8-172B99602D43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e90adaeea84f2bd74f381b49a940afa1d53258b","datavalue":{"value":"1207.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3080427$F12A0352-B3B3-440A-A0D4-0622BE116E04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c87b5aca574eeb1372d986f8806fd69f2d77ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1245696,"id":"Q1245696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3080427$AA25143E-1098-4788-9F5D-3E21EE0E28B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea47cd398be2e1bd31e6b45d02de9148c81f65a6","datavalue":{"value":{"time":"+2011-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3080427$BA8BED33-BD2E-4F6D-89DB-D15C38BB61A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3080427$84F21242-97FF-4B42-8DB5-03EBFC76D536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3080427$1828AB22-DAF6-42CB-A313-FA4B98289265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3080427$375DB45F-B1B6-43BF-89EB-8AB14AFC0C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3080427$D82E9B04-1E36-47E8-BD64-9E12F48F53F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3080427$783665AB-6223-4E3C-94D7-9FFDB397C8A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b955c430c004fc5638c9e3775e9aa184f38e5473","datavalue":{"value":"5864583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3080427$C8607273-1F54-4C01-BB5A-08472642AF5C","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":"Q3080427$CE6D648F-1E9F-42E6-9790-68435F87436F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b38c679399fb008c42100d30e8871bfcdbebff","datavalue":{"value":{"entity-type":"item","numeric-id":5696557,"id":"Q5696557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc1b7a8649bbd98005f27d6733031a0a952e330","datavalue":{"value":{"amount":"+0.7765055894851685","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":"Q3080427$54DD63D5-2AE5-444A-BDA9-BD3ECFE774E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26f462e7f775ea6389468fdcf2dbf4017ac2e7a0","datavalue":{"value":{"entity-type":"item","numeric-id":3623966,"id":"Q3623966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a288d0c2a15fb91012cfeba40e4a12dac59cb5c","datavalue":{"value":{"amount":"+0.7674033045768738","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":"Q3080427$44AC2038-6D0D-40F1-B0AA-CCDBB7A235CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959bb1531cbcced4b6982857b8607b22a36bd270","datavalue":{"value":{"entity-type":"item","numeric-id":1006486,"id":"Q1006486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a24075592e761cfba6a9a54e5f83bcc3dacbfde","datavalue":{"value":{"amount":"+0.7661883234977722","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":"Q3080427$097B669B-35E2-4C05-8B92-C72257229388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5354588df9476676e7f8867f2c25083090138876","datavalue":{"value":{"entity-type":"item","numeric-id":3173800,"id":"Q3173800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b82f6984ebe04153d550bc679acaab6a80f37942","datavalue":{"value":{"amount":"+0.76251620054245","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":"Q3080427$B40C59E6-01DB-4B85-80E7-BE37592BFAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e59872f683cfba1ac285ff4193f1669feffbb57e","datavalue":{"value":{"entity-type":"item","numeric-id":4518431,"id":"Q4518431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ab54ad18e812b882711ea948273a7fe4c625642","datavalue":{"value":{"amount":"+0.7484585046768188","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":"Q3080427$5674AF6C-722A-4225-9FD0-B5CA0D60B3E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision procedure for a combination of logics KD4 and PDL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decision_procedure_for_a_combination_of_logics_KD4_and_PDL"}}}}}