{"entities":{"Q2405259":{"pageid":2416002,"ns":120,"title":"Item:Q2405259","lastrevid":52904555,"modified":"2026-01-23T18:56:41Z","type":"item","id":"Q2405259","labels":{"en":{"language":"en","value":"Theorem proving for metric temporal logic over the naturals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6778412"}},"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":"Q2405259$0AF5E6F9-0ADA-4432-8446-81D11F9283F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7979d5f422e79e8689596405328e92343474a3a6","datavalue":{"value":{"text":"Theorem proving for metric temporal logic over the naturals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2405259$C46E09CF-A3FB-4BA7-A062-CCF07CFA7A09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b24291888970dbe9eefce0294f37f9c4e876d8aa","datavalue":{"value":"1496.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405259$C30DFF64-0519-42B3-9E63-E849B20A4B54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92ffe77f9e9819e48579dbbb9ecdc52c3a760762","datavalue":{"value":"10.1007/978-3-319-63046-5_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405259$9ECC6BF4-9165-4C5D-9EC8-04BEA3250FEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"531bacf41fa7f19b08f4a713dec30b9d0307505b","datavalue":{"value":{"entity-type":"item","numeric-id":924722,"id":"Q924722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405259$F4E7C110-E773-48AD-AF86-F59E7FF1EBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fe90136006b42c6e405828747087b23478eca76","datavalue":{"value":{"entity-type":"item","numeric-id":1687539,"id":"Q1687539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405259$F652FEA6-9FAC-4484-B086-CC65BFBAFBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7c764ac21e0f0934969acd440140a93a6d4c985","datavalue":{"value":{"entity-type":"item","numeric-id":1383356,"id":"Q1383356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405259$2B1A70B1-CACE-4EEF-950E-3BB9288CF1F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75b8eddfcc302defc1a614ef0ded8c7b941f1ef4","datavalue":{"value":{"time":"+2017-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2405259$8AF70F39-5C79-43CA-8968-F101341D3F3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405259$792309C1-1445-4AC9-8193-A47B3B74380C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405259$4E8C137A-F7FC-44AA-B0D7-05644B828743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405259$2BD0353D-0883-42AC-A8FF-82AB19517EA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39dbca692a8b4a1907a386d1928f0ecf80cf0e1f","datavalue":{"value":"6778412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405259$8B329389-EEBA-4815-9493-3E8A68447A7F","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":"Q2405259$D4E0F2A5-201B-4C0B-BBB9-2E0F786AE416","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"461ccb753f7954207f22a1bd3f58a6da71516ddf","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63046-5_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2405259$D3E78E95-5537-4DA4-B123-493342B05D3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"516a74b4c2406ed773af50a2e540e27434427129","datavalue":{"value":"W2736129000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405259$E176DC6E-1C6C-4C19-9D3A-22301B3F7D77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab9f2509c21cca89f4ce19e2769db4489bec08f","datavalue":{"value":{"entity-type":"item","numeric-id":2228435,"id":"Q2228435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a05bd276843ceddcf01d3757289dd88580c1502e","datavalue":{"value":{"amount":"+0.9617378115653992","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":"Q2405259$2FC84090-6FBE-4637-BE6F-B65BC3DD964C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be50a16f594585ad83b769990cd70371ed47af65","datavalue":{"value":{"entity-type":"item","numeric-id":5505598,"id":"Q5505598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ac14894c24620a7172afc6c1ae89aeb3e83e05","datavalue":{"value":{"amount":"+0.8160686492919922","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":"Q2405259$302A3A41-6170-4A06-8CD1-E8F10AB716E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35c5c2d00b74ef3e1612d418fd0e3525fe319c7","datavalue":{"value":{"entity-type":"item","numeric-id":3543284,"id":"Q3543284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19ebe248b1748203ac0fc41b3d92f4ef3c01d23d","datavalue":{"value":{"amount":"+0.8048484325408936","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":"Q2405259$41F57C31-507C-4B48-9E70-6FB7EC09E506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b622d28cdc99702e9c59a8c5757277fab5f3b7a","datavalue":{"value":{"entity-type":"item","numeric-id":5376664,"id":"Q5376664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a64743027a60f3d2aed59158bb4b5d53e3efc7e8","datavalue":{"value":{"amount":"+0.7807353734970093","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":"Q2405259$85F9D319-8D16-42B3-9328-0387BF20DB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91c7b0f995cf94f20d7f89bf33f8e1f57d3c21b","datavalue":{"value":{"entity-type":"item","numeric-id":5271072,"id":"Q5271072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f64284eba2a1e9b5f9420d98f48a0aec418e8a50","datavalue":{"value":{"amount":"+0.7778590321540833","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":"Q2405259$FCF925B5-C4B1-4D20-AF2B-CC309E74BA3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2405259","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2405259"}}}}}