{"entities":{"Q1391100":{"pageid":1401840,"ns":120,"title":"Item:Q1391100","lastrevid":71052669,"modified":"2026-04-13T19:10:04Z","type":"item","id":"Q1391100","labels":{"en":{"language":"en","value":"Petri nets, traces, and local model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1177749"}},"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":"Q1391100$3910C04B-AB38-44C4-B967-2D3DF028EE9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab567d572410f7c0fedc71a709c483247137630a","datavalue":{"value":{"text":"Petri nets, traces, and local model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1391100$9C1A08AF-D338-4B3B-B320-422288409FA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b42e9f4bdacdaa54bdd9551c7149d568d0cac75","datavalue":{"value":"0901.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391100$C00F57AE-67CA-40E9-9A2E-A6140824D445","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0a88a5877c4485e6267938dfb8d0257b831c507","datavalue":{"value":"10.1016/S0304-3975(96)00326-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391100$29A98C92-47D7-4D45-B0BD-A886C2BE1F23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dc341e5eb1fe6ec64d94de39ba9a90eed78abe8","datavalue":{"value":{"entity-type":"item","numeric-id":672457,"id":"Q672457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$48972609-BD6B-488E-B4FF-5365122E0594","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$384991F9-CD4E-40D9-86A3-E7F6FC985ED2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04855ee36d302f814b50229947d6c78840861251","datavalue":{"value":{"time":"+1998-07-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":"Q1391100$039838AA-ECE0-4896-8526-9768A67913CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391100$CC4E4C12-5BE9-4C17-91EF-304C48BD9536","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"479df2052d3d444fbb0debe5d273ea326e498769","datavalue":{"value":"1177749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1391100$94954E93-A592-4713-974E-D4F967AEA4CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91e997e1583470b4146efacf39268b743dde13c6","datavalue":{"value":"fair progress","type":"string"},"datatype":"string"},"type":"statement","id":"Q1391100$B412B201-4EB7-48E8-ACDA-5811CEBE4B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f38bda9c1951e487f7b647bcb279b072c6235f39","datavalue":{"value":"labelled 1-safe nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1391100$0F027847-7111-488F-A9DC-B8881E6EEE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1391100$38F7D2B6-0655-4687-B0A1-2DB356939554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c712e3c8728165e4a7c47fa652e18a1f73bbed33","datavalue":{"value":"maximal traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1391100$A1E5A797-B67C-4ED6-8D57-87EB2EFC0047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbd3ab7bf1fbafed768194a39eff6e0454fe108","datavalue":{"value":"partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1391100$0901E8C6-B6DE-4C65-812F-8B5AAF4C088A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e02e229af8f7553c1adf1c9b854b52d48f822fe8","datavalue":{"value":"inevitability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1391100$FE003873-FD36-4073-A043-760C3EB58D9B","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":"Q1391100$AE3B922E-5F48-4995-A4A9-4BB03FA1594F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$B963D2E3-E9C9-476E-AF36-05F8D66D4B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$0EAF0C5F-BC4A-40DE-9847-64279629679F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5bc2e8938695416b31882d94807cea91997f6d","datavalue":{"value":{"entity-type":"item","numeric-id":1391100,"id":"Q1391100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$63EB0D6F-7731-493A-86C6-4F629A3E6A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d087393a33cf3c7f9534537ec518dbba20345ac6","datavalue":{"value":{"entity-type":"item","numeric-id":672459,"id":"Q672459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$1EB74901-7B28-4EFF-8085-83DE517629A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$B3920B82-85AB-44DA-8859-3349FEA1E90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1505d9b33c312794d5990cceccb798d2ac92bb","datavalue":{"value":{"entity-type":"item","numeric-id":4037382,"id":"Q4037382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$1F6C3331-B87C-45E6-959D-EE213F7858E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc95d446f80c52ed7453599d680e586168dabac7","datavalue":{"value":{"entity-type":"item","numeric-id":1327383,"id":"Q1327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$2D7717F6-A516-4C91-A8A6-765179251823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"699022c74df426258c4e2734fb1589bc5c5970eb","datavalue":{"value":{"entity-type":"item","numeric-id":4630288,"id":"Q4630288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$1BBFA1B3-6C96-48F3-A25D-274B5F43BF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e77ccf428ca1b394ee0eb78a76560bc9b01d66c","datavalue":{"value":{"entity-type":"item","numeric-id":911318,"id":"Q911318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$BB01BD31-65B2-42B6-A6AD-1617C899F2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e4c3801010a4bee6d03ee81a6a1a5d94252213","datavalue":{"value":{"entity-type":"item","numeric-id":3792217,"id":"Q3792217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$35574EB0-22C1-4B6E-A48A-4E666A2198AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bad5eed05a3662ff994c6164b09408bcc912340","datavalue":{"value":{"entity-type":"item","numeric-id":1893730,"id":"Q1893730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$69CE2CEA-FAD2-4AF2-A18C-825CFCC9B260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$859B8E80-938A-41C1-B0F2-10110A97CC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8cce4b1da1cc2b201b3b068a5f0031c71e8d9","datavalue":{"value":{"entity-type":"item","numeric-id":1122355,"id":"Q1122355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$FADD4A9C-C2DE-4622-8029-F067CB5BC743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$EC22F5CF-F340-4898-BC29-085CDFBF9EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$3153F761-1601-4914-9F48-4BB230E246AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91fd66543d31c1344e0c099c5a84fd36bec7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3997896,"id":"Q3997896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$93404017-487F-4848-A3F4-F413CC3B24FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3831ed99dc596a0250261761568b92b9560f0cb7","datavalue":{"value":{"entity-type":"item","numeric-id":4038718,"id":"Q4038718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$824A11AF-F835-416D-9167-CE35129162F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f0776cd2bb279a937717661bfaf9e8326ea413","datavalue":{"value":{"entity-type":"item","numeric-id":4275182,"id":"Q4275182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$12B25ECA-FF14-4DA1-A8BE-553588E7FF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$CF5D8B91-B8D8-4FFD-8C30-37D8F547D131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0649aa478635799a327e19a4326f199f9255ca9d","datavalue":{"value":{"entity-type":"item","numeric-id":3691067,"id":"Q3691067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$EF244801-D678-4B29-AFEA-9F56208D9A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3107215514768b76dfe702ef046922ebcc501e81","datavalue":{"value":{"entity-type":"item","numeric-id":1119395,"id":"Q1119395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$74DCE1EA-7FA6-4F9F-B977-84B2113CA218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$575C69CD-BE1D-4C5C-9781-1711E436C7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162294c3f55ca32a0a42fdc5a99638a5f744cec1","datavalue":{"value":{"entity-type":"item","numeric-id":4247293,"id":"Q4247293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$7AB80BD4-258E-47B0-82AE-8AFD2A9362A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1391100$6FDBFC06-5430-4FCB-A1B6-4D5FC5776D5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f6a8c09979cad506b974165d7147e3b8f9becde","datavalue":{"value":{"entity-type":"item","numeric-id":5096394,"id":"Q5096394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fef50bdd4b5cd755a4c6f9aa4a5e6217f6db5e1","datavalue":{"value":{"amount":"+0.990877091884613","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":"Q1391100$CB433024-71BD-49AF-91DF-C316121B79F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9080a9d552ceeffdf221bf522f2a4ab1d3869895","datavalue":{"value":{"entity-type":"item","numeric-id":5034222,"id":"Q5034222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"866ab8696888f2f827021ce93350f084e46ff3e5","datavalue":{"value":{"amount":"+0.8008988499641418","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":"Q1391100$3A26AD45-C10A-4417-8930-99901FBBF569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8634906c244b9634ae7e4e4b67e43a9b80c8fbb2","datavalue":{"value":{"entity-type":"item","numeric-id":5506374,"id":"Q5506374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be2959b3b8d5ae839aa1523f45f501f187000a7c","datavalue":{"value":{"amount":"+0.7846324443817139","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":"Q1391100$966FADD7-28F2-4913-BD13-56F94961013E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde74a2ad27b8685176e19088dc11f59e85d25ae","datavalue":{"value":{"entity-type":"item","numeric-id":5431922,"id":"Q5431922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9bada16276255ae870cc1b98a0b701baf3d56bc","datavalue":{"value":{"amount":"+0.7838246822357178","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":"Q1391100$2F5FDE4C-ED02-45DB-A35A-08F9E14E8673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d93068750e3f78798cde5d50b833dcd6a1a3f2bd","datavalue":{"value":{"entity-type":"item","numeric-id":5204350,"id":"Q5204350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9513d48b8124555a7a67b14d2fe1b835a4e9cac6","datavalue":{"value":{"amount":"+0.7719223499298096","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":"Q1391100$49ABA663-A65B-4323-8950-3DC738D5C906","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Petri nets, traces, and local model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Petri_nets,_traces,_and_local_model_checking"}}}}}