{"entities":{"Q5367072":{"pageid":7396646,"ns":120,"title":"Item:Q5367072","lastrevid":92307137,"modified":"2026-06-05T01:23:40Z","type":"item","id":"Q5367072","labels":{"en":{"language":"en","value":"Petri automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6790170"}},"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":"Q5367072$EC502598-971E-415A-BCCE-773B19471023","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b37192b0b3774368998b2ab0773b338114e101cb","datavalue":{"value":"1427.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367072$94DD7F95-93C6-4CE9-B2E6-8CAF04937E88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7daa3d208933228d5accae233ae509dd0571e40","datavalue":{"value":"10.23638/LMCS-13(3:33)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367072$C90C156D-AB02-4645-BFC3-A3AA49B4100A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fffcc49ccf08288968257b20f203206e3f67d8a","datavalue":{"value":{"entity-type":"item","numeric-id":299192,"id":"Q299192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367072$7965D95D-DC98-43C2-8997-8947E2BE126D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367072$6A4A5B10-99F2-44D4-AA38-8C83766A92FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0381aec861f5a199f46f1776607b0e02f2cdf4","datavalue":{"value":{"time":"+2017-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":"Q5367072$EB6A9169-7FC1-4D43-B0D7-D197E038AD90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de54076dc8df3c6bb939c20758e2ad792298ded3","datavalue":{"value":"https://arxiv.org/abs/1702.01804","type":"string"},"datatype":"url"},"type":"statement","id":"Q5367072$29957482-F3A3-416E-897F-1AEF80E84325","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367072$EDDAF9F4-F709-4434-AA54-7F095CE25981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367072$0DC598DC-C4E7-4D94-A368-E0905E8A1CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367072$1C7A940D-1614-4682-8D3F-08FFF13A255C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbdfd37ae9ea568f8f5151b893fc75b7869d63bd","datavalue":{"value":"6790170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367072$B99F9B9F-C4BB-4F77-BF3C-5EAF9F2A5309","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eacacfddf5207aab88e063da320c4695806f844b","datavalue":{"value":"Kleene allegories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367072$DFC37F15-2C03-463F-B869-1779798AE3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a7d0e1c4c73e8e9cf690761aa92156a0c28a2b9","datavalue":{"value":"Kleene lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367072$C0CF3B71-6AEC-481B-B609-0551C5EB7C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ec388c1ad6af3e3028afa7e0c32fa00913f062","datavalue":{"value":"Petri automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367072$02436026-5F76-45C4-91BD-4C520B007285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367072$1B8876B3-EA95-442C-AC4A-1AE13A4E59A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367072$7D3957ED-FA70-47F7-BB04-08DCB0D15136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e2c5cdbb9bf737c4fa7ac78971f831677d8a1d","datavalue":{"value":"graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367072$E93B8A47-4525-4B31-9348-ACA3D70633C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"776971b86e6c4cf15851a3ea837e7ca01487d625","datavalue":{"value":"Kleene theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367072$4DF82639-309E-4DC7-96A6-73471C415657","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":"Q5367072$6B6EB57A-CF8C-430F-9FE2-5F9B98D92A02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bd61e2009714a9608ab94a4ec18ff168d673f26","datavalue":{"value":{"entity-type":"item","numeric-id":4635792,"id":"Q4635792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d8ebbce2cd371fda87393d2cdce9e18371ec2ed","datavalue":{"value":{"amount":"+0.96809583902359","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":"Q5367072$A069CA5F-8329-470D-AD35-93DA514DC173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e47eec7950ac8680b3e16ff81537095292cbbc4","datavalue":{"value":{"entity-type":"item","numeric-id":5111283,"id":"Q5111283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b875fe64e75812bb4b2c29dc8a1bdb41574cf3","datavalue":{"value":{"amount":"+0.7889742255210876","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":"Q5367072$BFC1C6AC-4E31-4105-A166-1946882D4CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f983fd744d3bd64a25221019a9f735cc027a32d1","datavalue":{"value":{"entity-type":"item","numeric-id":5144679,"id":"Q5144679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b5e201e625914195959a91354fcac421e1b3806","datavalue":{"value":{"amount":"+0.7581692934036255","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":"Q5367072$908012A4-9EB1-43D7-A76A-09B6ECC59AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b562989f15c24c4d4f40d9abd5f9cb2fee4dcfa","datavalue":{"value":{"entity-type":"item","numeric-id":5009432,"id":"Q5009432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b365b36beeb65d31ce62b4a91fbdbd059bedd5e","datavalue":{"value":{"amount":"+0.7520468235015869","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":"Q5367072$6C86E52E-88A3-4BCC-993D-4E747786ABAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc850bc3314d69518758fef264581cc20087267b","datavalue":{"value":{"entity-type":"item","numeric-id":5200095,"id":"Q5200095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc922aaecd2145d071e80709230ddf301dcfed11","datavalue":{"value":{"amount":"+0.748892605304718","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":"Q5367072$D3B8CF57-EDE0-43AB-B2FB-71445CE632EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Petri automata","badges":[]}}}}}