{"entities":{"Q1333273":{"pageid":1344012,"ns":120,"title":"Item:Q1333273","lastrevid":70165467,"modified":"2026-04-13T12:52:58Z","type":"item","id":"Q1333273","labels":{"en":{"language":"en","value":"Temporal proof methodologies for timed transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 638564"}},"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":"Q1333273$D54967C8-79C0-400E-A454-05237EBB8B84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"196d680f6a6e5748efd93228d6c9e4cf753d25a1","datavalue":{"value":{"text":"Temporal proof methodologies for timed transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1333273$17BDF927-A0C8-4E69-B23E-75CEAA57C781","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5e5ee9fa59f197390047f70fd0d986562ff5c1e","datavalue":{"value":"0820.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333273$6F3C74D0-0CA8-4685-B2B6-BD1E94342464","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333273$487D0B24-146F-4835-A59C-06487BB0F141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333273$AC9FEA44-1774-459F-9056-B2DCA47E8737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333273$D29B8447-3733-44DC-9F1E-8491DBBD5F05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333273$ADC7AB3C-A3B3-4DF9-9D40-2C111E06D4CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35d39e210be1143825b67c9418f16b393bda66a7","datavalue":{"value":{"time":"+1994-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1333273$07535D70-07D0-4AB7-9D1E-B87BABBCE04B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0900d7377621b103a6e7de0fdf4a938e7ea8fc5","datavalue":{"value":"https://hdl.handle.net/1813/6096","type":"string"},"datatype":"url"},"type":"statement","id":"Q1333273$B2546FDE-758D-4B2D-B9CF-FEA435B16346","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333273$C428EAFC-63CE-4EA8-AECB-24AB0569D871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333273$557508EC-ACC1-4A32-8796-F75683B2BB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333273$38C1E3D0-DA56-48E2-8E3C-D8012ADF7323","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37c64a8c26185106adcecb1837dabb2e805b1412","datavalue":{"value":"638564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333273$AD2908FF-BF0A-4EFB-9D41-13A34E37BF1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333273$3D9DFA96-335A-4A3D-9A58-3052B16F40A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333273$AC58A6F5-F5B8-4702-BED4-31D48B6E093E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78bd603a626a1ffc91825b1c17a9a7c1dc33721","datavalue":{"value":"timed transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333273$74F025F4-F2D6-4F38-8E78-B7380F66B7DB","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":"Q1333273$DFC7B6C7-DC9A-4926-B9BC-74C07CF79453","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c95d6e35cc54c9a0e0ad2cbb8adf6d3f9a61b51c","datavalue":{"value":"W2084880396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333273$83068681-91ED-4E86-9AD9-5493214B8014","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"218a6489b5cee69c9817d71a7f2fdc5c18f1aee0","datavalue":{"value":"10.1006/INCO.1994.1060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333273$4766D96E-98EB-4BED-A606-F95CB0A6198F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41be44f8aa4a1f5800c6fb871318133523595d11","datavalue":{"value":{"entity-type":"item","numeric-id":1579058,"id":"Q1579058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a704548ee824c9184bf1786948d61a6362c28849","datavalue":{"value":{"amount":"+0.8223661780357361","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":"Q1333273$E0B90BDD-F1D2-4F52-8285-37B300F7EFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f178f6d6899337c82b7efea85b79c9996a71276","datavalue":{"value":{"entity-type":"item","numeric-id":396986,"id":"Q396986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54561f993965c35ff01bc1ed0b0654450a8c2fa","datavalue":{"value":{"amount":"+0.8185674548149109","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":"Q1333273$08C621C6-9323-47E4-946A-ECC5AEA7AAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0865e85dc0bfe21a7343698e2009603ea2c0aa3","datavalue":{"value":{"entity-type":"item","numeric-id":1589585,"id":"Q1589585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e46b485f60697993b299420f5b82cbed11d552f4","datavalue":{"value":{"amount":"+0.8147298693656921","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":"Q1333273$3CF2B201-8CF0-46AA-A2D1-95B3A6EA11FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3259bfef6df360eaefa28efa7e9c541047372389","datavalue":{"value":{"entity-type":"item","numeric-id":5887513,"id":"Q5887513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd988f7b3fed598632cc5da8608ec3fcc642c851","datavalue":{"value":{"amount":"+0.8102607727050781","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":"Q1333273$B2E4B03C-E784-4351-B7C2-E12F04B34DFA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333273$58C91624-DE2F-434C-A1C7-1F9181B26821","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal proof methodologies for timed transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Temporal_proof_methodologies_for_timed_transition_systems"}}}}}