{"entities":{"Q4535794":{"pageid":6565386,"ns":120,"title":"Item:Q4535794","lastrevid":47931487,"modified":"2026-01-03T03:01:00Z","type":"item","id":"Q4535794","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1756008"}},"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":"Q4535794$ED584163-DBE6-4F71-A840-ED50DB9EA615","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b20ea2cb362740a212d4a40ae0d9ecad0e98f64d","datavalue":{"value":"0987.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4535794$68EB459B-81DB-4896-959E-0A29DF147516","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b5aca82feaf80a5c7525e66de0af2839af763e2","datavalue":{"value":{"entity-type":"item","numeric-id":258757,"id":"Q258757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4535794$200A53C5-4484-4275-A9DB-162D404AF494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41e35089dbd656e8f7abce87cf5ee8e8671af18c","datavalue":{"value":{"entity-type":"item","numeric-id":2501321,"id":"Q2501321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4535794$D8458441-0EC2-4972-BE38-1A58BA5DF452","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"456c8c6068f5f9f6deacb4e2d51a2b9ec66d8bdc","datavalue":{"value":{"time":"+2002-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4535794$8E25B616-D021-48F7-BA99-C2BC7FC179AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4535794$87EB70D0-10DA-42DE-A570-6BE63E6109AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d33e4de286c622e15a0bc7c6c5d54cfea11896f","datavalue":{"value":"1756008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4535794$692EEE37-304D-4352-B7C9-1D76D5D7AB3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4535794$6FE5597D-C54F-4CBE-88DB-8DACCDD12360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q4535794$86298A4F-8A46-432C-A1CE-A048CC3D0DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a03612d767552b30c36698a532ef23fdf2a172","datavalue":{"value":"synthesis of liveness supervisors","type":"string"},"datatype":"string"},"type":"statement","id":"Q4535794$56AAC1DB-DF12-4B51-971B-432C99448C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf30f251852d9f6944ca235abd01ce1927921160","datavalue":{"value":"structural properties of Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4535794$F6DB203E-5F62-43C5-B09A-4ABE453D1136","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":"Q4535794$FF0C4A29-F217-4E2D-BFF6-252341F79AE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d298199178afd53226b65e6390377256a9c08a1","datavalue":{"value":{"entity-type":"item","numeric-id":3058342,"id":"Q3058342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78054f08c4a65aee6290fd850d89c5365741e2be","datavalue":{"value":{"amount":"+0.8382032513618469","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":"Q4535794$1651D398-872F-4A7D-A52C-C92FC541C019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c3520d704dc795942040cfd5068ffb698dfdd57","datavalue":{"value":{"entity-type":"item","numeric-id":3063811,"id":"Q3063811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0487cb85701b2d1ea3bee6291ef1fbc7235e96e6","datavalue":{"value":{"amount":"+0.8373962044715881","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":"Q4535794$2054A807-566B-4D29-9DE4-BD402A230658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"416f2ea97738adadc2b25fab8bc7cbc449f0f2e4","datavalue":{"value":{"entity-type":"item","numeric-id":5177194,"id":"Q5177194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"750761e862705e36ab651f69ca8bfcd9ffcbfbd9","datavalue":{"value":{"amount":"+0.8239039778709412","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":"Q4535794$1CA91620-9B2B-45C7-B35A-D9B4ACAE8C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3949b0e8dc4d1673ede6c14e7dac2fc2748fe9c9","datavalue":{"value":{"entity-type":"item","numeric-id":5252903,"id":"Q5252903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6700e700b3e78b0781d4af4f3ad43db993f00a97","datavalue":{"value":{"amount":"+0.8191428780555725","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":"Q4535794$AEB19592-45C3-4DD1-B014-188CD8C32B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b067c6a36402f13bf69128c9a0cf0892cbf9d144","datavalue":{"value":{"entity-type":"item","numeric-id":4633154,"id":"Q4633154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8037b1e042a343ce24123934a061bbd6d9367d2c","datavalue":{"value":{"amount":"+0.8143333196640015","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":"Q4535794$D8710D6B-588E-4518-8C97-0AD83FA6927D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4535794","badges":[]}}}}}