{"entities":{"Q2176699":{"pageid":2187442,"ns":120,"title":"Item:Q2176699","lastrevid":71477979,"modified":"2026-04-13T22:31:47Z","type":"item","id":"Q2176699","labels":{"en":{"language":"en","value":"A state class construction for computing the intersection of time Petri nets languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7196598"}},"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":"Q2176699$1EBF223D-19CD-4404-B908-0A0E35403E96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6453e4ffa088478ae690278ece4025310b0e19cd","datavalue":{"value":{"text":"A state class construction for computing the intersection of time Petri nets languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2176699$918979EB-02DD-4161-9B6E-D5D39FC69BAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7fce3eedd67558335a7ba02e23612efe3dd5c50","datavalue":{"value":"1434.68331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176699$E73A39FC-D0CB-478B-9761-E6B6C0DCC68C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abaeafb9ee5ce51d834c835957e33635f7afdd35","datavalue":{"value":"10.1007/978-3-030-29662-9_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176699$925D93EF-CB62-4528-B379-111F75AEABEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4500f8445fbcd338032e95fa450551b0a5ae3216","datavalue":{"value":{"entity-type":"item","numeric-id":2176698,"id":"Q2176698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176699$85B5AF37-98A0-4FF2-AFBD-22A8ECEBA989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c0abdcf23e4efad91f7981d119437b265cc4740","datavalue":{"value":{"entity-type":"item","numeric-id":832011,"id":"Q832011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176699$C9345AC6-8D68-49AC-87C0-C2C551B92E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1980a9c0797ffa4bfacbce2f067d20f132d76a72","datavalue":{"value":{"entity-type":"item","numeric-id":832012,"id":"Q832012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176699$D3B53564-0AA1-4959-95F8-E785F7972736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e39dc0b7fb20a2a8a98df3ab226301d5915b1a04","datavalue":{"value":{"entity-type":"item","numeric-id":513187,"id":"Q513187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176699$145B8756-7720-4242-B378-D64159E69ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04756f771bf2345422383aea42298c0658bb9919","datavalue":{"value":{"entity-type":"item","numeric-id":513188,"id":"Q513188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176699$820F8832-DE2A-4D6C-AF4B-888744836D03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ffa913ad058323c97cdd62b11ad32d016ae0804","datavalue":{"value":{"time":"+2020-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2176699$5E5FE007-8CBF-492E-9E2B-307B4900181B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c959df0a8639b0e345dfd7e485cb8dd644a4ed4","datavalue":{"value":"https://arxiv.org/abs/1908.02087","type":"string"},"datatype":"url"},"type":"statement","id":"Q2176699$EF149F9B-0C36-42CD-AD2A-F93B09EF56FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176699$81EB7D38-D484-48A3-AC7E-9526D1971DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176699$CAD7EF7A-B321-461A-B94F-EA49D3A3F9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176699$2A0EB04F-6CEE-4F23-A350-B3A92846BDFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6daa7201a0c4d05b98a8ceaa8dc4af56af161db1","datavalue":{"value":"7196598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176699$EB277FAE-E310-4039-ACD7-88FFA2B7E75A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3641d67aa9409aec2cfd3ec34bf67677960d72c4","datavalue":{"value":"timed Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176699$D1B1952E-645A-4283-9BEA-1AC9B652C6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176699$CCE8818D-3A89-42FE-8427-326F84E1008B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67423872311a068703a52290dbbd9d6d44f90e79","datavalue":{"value":"state classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176699$1F6E4F12-7F17-4887-89D0-E938245D3476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176699$1DE704FC-1636-45D2-B46F-4BA01005FB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d2ba1f3a9d37aa907198949c7415e4bc2ead980","datavalue":{"value":"modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176699$87F44EF8-23E6-4700-A421-428B50D71BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176699$B53CE3D1-5823-4C48-86E2-92796E57005E","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":"Q2176699$4DFC6C9A-BFF2-4C87-BCE2-3B011EF7515B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c0f958e211ce5dc57fe778b5818892a766ff14f","datavalue":{"value":"W2966366255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176699$4BD73EEB-779A-46AC-B1C4-73B21853A32C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d358075e56be23fd0e920738b29b2c3a6dda8d16","datavalue":{"value":{"entity-type":"item","numeric-id":859736,"id":"Q859736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94eef81a727ec465465cf6a22ee3aa709393a962","datavalue":{"value":{"amount":"+0.7940049171447754","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":"Q2176699$B16910AE-4264-411E-8F62-B853B8EBE5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a583667d76ba9508f1984ae3f59126996e0ce7a","datavalue":{"value":{"entity-type":"item","numeric-id":5476391,"id":"Q5476391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21003c9e67c82d296d8e5b958f57b8f0311290c2","datavalue":{"value":{"amount":"+0.7872429490089417","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":"Q2176699$FC7C08CC-6ACD-4D76-B8CC-E63149DAB894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"834196c635c3180744a9bdd44090e6b68122c8bb","datavalue":{"value":{"entity-type":"item","numeric-id":4417948,"id":"Q4417948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45e3e1efd355e68d7185ca91ab94ff78333ee281","datavalue":{"value":{"amount":"+0.7791456580162048","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":"Q2176699$EFA40721-6C31-4B70-B7CF-FB01E768167B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf2ad2f6bf756e959b41f789662b32b6bad13d9","datavalue":{"value":{"entity-type":"item","numeric-id":4671274,"id":"Q4671274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"980365693ef2a225f7d2c8a22c85ac1a7bd32780","datavalue":{"value":{"amount":"+0.7739166021347046","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":"Q2176699$5BC995EB-4547-4284-9727-F9491ACC2AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"644bb3266307c678cf422a020dfddf2d4ef9e55f","datavalue":{"value":{"entity-type":"item","numeric-id":5717497,"id":"Q5717497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8421d609cf63207251d7fa63d3ea7edcc575c1b6","datavalue":{"value":{"amount":"+0.766468346118927","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":"Q2176699$43EF9DAC-2685-4369-A9C4-2E6A6A47A6E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A state class construction for computing the intersection of time Petri nets languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_state_class_construction_for_computing_the_intersection_of_time_Petri_nets_languages"}}}}}