{"entities":{"Q3734374":{"pageid":5764280,"ns":120,"title":"Item:Q3734374","lastrevid":50868593,"modified":"2026-01-15T12:20:23Z","type":"item","id":"Q3734374","labels":{"en":{"language":"en","value":"Diamond formulas: A fragment of dynamic logic with recursively enumerable validity problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3966038"}},"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":"Q3734374$813226AC-3362-4FEC-A861-E2F6CEA470B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3361655ec3c73dfef88607e7145c221e36f6eca","datavalue":{"value":{"text":"Diamond formulas: A fragment of dynamic logic with recursively enumerable validity problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3734374$DF2C54A7-003F-4E4E-A546-622E367FDA90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87dcb56e3a7a6b45011d6313785d961b0ec25c60","datavalue":{"value":"0599.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734374$9C0729E3-AA7B-433F-A75E-0EC5405C06DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63f37697e1e72f5502b23aa4a040c262f6ef9bf7","datavalue":{"value":"10.1016/S0019-9958(84)80055-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734374$8FA44F6C-A7F4-4476-87BE-79AB03036EEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734374$AD722827-3792-44F3-A780-EF0220F41043","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3734374$142A7002-B1B2-4EA3-956E-F6C33B71E67C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734374$9BA08E3A-0612-4E34-9800-3B1C151BF882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734374$B797DA33-4927-42E9-978D-030C3A96F385","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"852bf99cc9cf35ca27413c94dcefb9cc34cd9dcf","datavalue":{"value":"3966038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734374$D7F655FD-3C00-4CD3-99ED-798B80F017F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53e9af042b6aae786a649b21f8510f7a952210e","datavalue":{"value":"regular programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734374$A19D9D97-D668-4F28-A784-8F2ACBDB85AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46bf151a5cd427a7a3b6bc55830ff649b7f22b7c","datavalue":{"value":"complete proof system for diamond formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734374$5ABDEDBD-5C3F-4F28-972A-DB48DE52337F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b996254721c9f505ba0dccfbc0276f52690a18bd","datavalue":{"value":"recursive set of axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734374$046C37D0-46FB-4833-8534-C77838868DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58bc30c453d4234ae2566b0e1c1e295fb57fa633","datavalue":{"value":"box formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734374$CAA6BE5F-8DF0-4615-84C3-7074BAC768A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"924cca174357738b06b9173e0c5b8febd23b6af5","datavalue":{"value":{"entity-type":"item","numeric-id":1202018,"id":"Q1202018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734374$5EE2E095-4FE2-4A48-B2A2-3ADFE64B4FC6","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":"Q3734374$CF65618A-E2B8-4D39-9BAB-CAC52837B275","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3c831775efe26bb1b6af57ae50cbd43a1db4b20","datavalue":{"value":{"entity-type":"item","numeric-id":3028985,"id":"Q3028985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b2ce4ba91c14edd810c934b9497c9d88805a051","datavalue":{"value":{"amount":"+0.8722832798957825","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":"Q3734374$0AA15E8B-4D66-4F13-8B35-C81FA108D43B","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":"431bc5b555e2d2d901707e56ac2c3b1ab21a4a0d","datavalue":{"value":{"amount":"+0.7482620477676392","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":"Q3734374$8D3B75EB-2506-4FE4-A004-8F35C115DF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e86eb019fc332cd78dd00901a4ac57259ae542","datavalue":{"value":{"entity-type":"item","numeric-id":4029612,"id":"Q4029612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddc1946adce9f81a6b816a9e44786d7cbcb56c07","datavalue":{"value":{"amount":"+0.7462015748023987","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":"Q3734374$6DE5F0C0-DC0A-422B-9111-C662FC1BC2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84e644170331a6a9485b207c047e686cd4d5525","datavalue":{"value":{"entity-type":"item","numeric-id":3826528,"id":"Q3826528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6375066b6b4b3c0075c207bc1c32631c1408a2bb","datavalue":{"value":{"amount":"+0.7406563758850098","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":"Q3734374$D5C5CBFA-64C5-4311-886A-382AC549A0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcfbe2ac44a0dcc2f5957fdd3687861fdc199a5","datavalue":{"value":{"entity-type":"item","numeric-id":3617722,"id":"Q3617722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc33ca43b9e99fc1a4f2e3827197d4a051ad9aa","datavalue":{"value":{"amount":"+0.7385643124580383","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":"Q3734374$26940659-50E0-4441-928F-5EA4C7C18FE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3734374","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3734374"}}}}}