{"entities":{"Q4487244":{"pageid":6516843,"ns":120,"title":"Item:Q4487244","lastrevid":41908436,"modified":"2025-05-14T15:22:37Z","type":"item","id":"Q4487244","labels":{"en":{"language":"en","value":"A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1463085"}},"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":"Q4487244$B538C659-A541-4DBA-94AB-1220A5F212FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cf6874ba3f884df8c1be462e2a29005fd3df499","datavalue":{"value":"0951.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487244$10004A05-0082-4E84-89BA-C47209095D9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487244$943E2E22-1668-42A1-A9FE-A88D2B6E38D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc31d8ba926152915a2d85bf90621c795d9f87c","datavalue":{"value":{"entity-type":"item","numeric-id":272304,"id":"Q272304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487244$35DBA72B-1E7D-4441-A967-C55687B90637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7d0b58753731a5e52ea28d86170a3c6030e8f12","datavalue":{"value":{"entity-type":"item","numeric-id":835122,"id":"Q835122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487244$469CE69E-FB20-43E6-BE4F-8B3DAEA39823","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce7843932412e0d5c566f14bc25dfa7a3675a659","datavalue":{"value":{"time":"+2000-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4487244$E81AF5AF-040E-4AD5-921F-EA5AA5C6E797","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487244$0CCC9F2E-53C5-4CBB-8BB8-65585A0EF5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487244$AA8B61FF-3767-460D-AC77-0284C266D85C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a8a410294b2c9f149a54d097e00141dee9278a2","datavalue":{"value":"1463085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487244$07D20C9C-15FD-4990-80F5-C92C910096AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487244$87D66ABF-74E2-4492-A88D-35CC1EF35983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487244$086AC332-FC41-4520-BD0C-100614C41BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6ce1f499c7fa14bc9d59092fe51c9113289fed","datavalue":{"value":"cut-free proof-system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487244$446353AC-CCE3-49B9-B959-9A283A77D913","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":"Q4487244$75EDC884-440F-4923-8989-9F6358CE7936","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ca0fff6fc6a3ab09154e8896b8fd049db51e798","datavalue":{"value":"W1982896865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487244$D4FB2BE1-D4D6-45A6-9577-FB888C9D443B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f2a98aa06da897fc032d7ea14aa1d5bf4c28e31","datavalue":{"value":{"text":"A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4487244$9E4F6905-6187-4856-9DF3-CDA79FD74502","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"974bf51e3ec210287175aaf58f33b7b207db9d4c","datavalue":{"value":"10.1002/(SICI)1521-3870(200005)46:2%3C171::AID-MALQ171%3E3.0.CO;2-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487244$67B2D278-0A4C-4995-A9FA-987066B9CAD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"453ce03ab40fc81274bd500c2377b855bbd46452","datavalue":{"value":"https://doi.org/10.1002/(sici)1521-3870(200005)46:2%3C171::aid-malq171%3E3.0.co;2-e","type":"string"},"datatype":"url"},"type":"statement","id":"Q4487244$3B520418-C276-43C8-A861-ADD68EFF3C8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4487244","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4487244"}}}}}