{"entities":{"Q1660760":{"pageid":1671501,"ns":120,"title":"Item:Q1660760","lastrevid":68254518,"modified":"2026-04-12T22:28:42Z","type":"item","id":"Q1660760","labels":{"en":{"language":"en","value":"Place bisimulation and liveness for open Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6919106"}},"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":"Q1660760$3C791E51-EC9F-48BD-ADF3-5242FA533B33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35d314875d5538e8f5aa356eb65065afd8e7bdf9","datavalue":{"value":{"text":"Place bisimulation and liveness for open Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1660760$7918DD91-A259-4EE5-A44D-F4387B4641DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24b6abf06f01bc44ed8db365e933a6b10361ef95","datavalue":{"value":"1393.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1660760$2691F95A-51EE-4862-9087-865CBA8DF9D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8eb6c1588ab55034470cc3ea1ceff3b23086c6b1","datavalue":{"value":"10.1007/978-3-319-47677-3_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1660760$5EF193CD-6F60-445C-9158-3568F0755050","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"115adee6499916153108bfd7cbc7171badb289a4","datavalue":{"value":{"entity-type":"item","numeric-id":667519,"id":"Q667519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1660760$689A040E-19F6-497E-854F-7B48868F819A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43ee9c8fb92d9851f57f12d6328abed8c2669ffd","datavalue":{"value":{"entity-type":"item","numeric-id":182339,"id":"Q182339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1660760$84BE4DF4-6991-44A6-8013-32324E9E75D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c2cf3997b6b074f0b8a50dac0d7bb587b9c6d64","datavalue":{"value":{"entity-type":"item","numeric-id":667520,"id":"Q667520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1660760$F2DC0992-50ED-415D-805D-ABBB9B1A4BB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fea849c4eb281a412bedffe61a8651446b5233ab","datavalue":{"value":{"time":"+2018-08-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":"Q1660760$B6ADDA08-4430-431C-8F9C-892D77D7C902","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1660760$F6648F02-BEC7-47AF-923B-63B7543B4DC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b78edf6d9320e89f00c80c9c2f0a60e62098c704","datavalue":{"value":"6919106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1660760$22AFA66C-A046-4571-9773-2CD99EEF6795","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70dd8757784ee6800c9dc05defc104f45ca4746a","datavalue":{"value":"open Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q1660760$D31DFA2D-612F-4AA1-B146-C113A92CF8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d0de8366ac43c8b9bae86936b4bb9760f3e0496","datavalue":{"value":"interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1660760$40943420-12B7-4C5F-ABF8-270CFE868685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1660760$439B1F63-AA82-4BC9-8A25-3CD586901F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1660760$82553ECB-092E-4C10-AEC7-14CBE3600923","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":"Q1660760$DDB2895B-CB51-4DF5-8344-FF896365B2B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6155f75dc9a873feeb546105dd4c1ece7be23ffb","datavalue":{"value":"https://doi.org/10.1007/978-3-319-47677-3_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1660760$FFF5FF4E-60F3-4063-9D3B-372F1EDEEC9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6353abdda63df41658e304a222060797a19154d3","datavalue":{"value":"W2529563697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1660760$7446FFAF-22E1-48FE-8DF3-2D9E0E1A6B3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b6361d415a0f39d372dfbd9d16d454501cc9bb","datavalue":{"value":{"entity-type":"item","numeric-id":5901470,"id":"Q5901470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db481ad28ede092d4f8e6629d6ed9ff97665c680","datavalue":{"value":{"amount":"+0.8271730542182922","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":"Q1660760$9DEF8272-8642-4FB7-9E03-DD8FA2338E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc046dd42eeeed1b4a3d5a74b3dce294d08cf91","datavalue":{"value":{"entity-type":"item","numeric-id":5901534,"id":"Q5901534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6eea06733d74d67c62b0e4dd08efa1f155cf6d","datavalue":{"value":{"amount":"+0.8256672024726868","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":"Q1660760$1C141E42-7908-45B9-8EA7-999A3F112275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d64ea55519657058b98228b2370b04efb8188b","datavalue":{"value":{"entity-type":"item","numeric-id":4791852,"id":"Q4791852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed5624fd0dc807f63b32bf5f73f88a0daa79ff4","datavalue":{"value":{"amount":"+0.8194476366043091","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":"Q1660760$3F1E4138-7BC0-4D00-BB03-E578B34356DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5105013fafc88c4a85be0c533ed470a11fe0f50","datavalue":{"value":{"entity-type":"item","numeric-id":667521,"id":"Q667521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ba4b2162282460f13a0b5de48967d8d91d99cd","datavalue":{"value":{"amount":"+0.8078582286834717","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":"Q1660760$770F4052-CC49-412D-B414-883790C5033A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215cb287db7373d21b536bb3924ed0d42434fe8c","datavalue":{"value":{"entity-type":"item","numeric-id":2848079,"id":"Q2848079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e48aa31c0d5151808ad5a6a24dcccc163d9d31","datavalue":{"value":{"amount":"+0.79416823387146","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":"Q1660760$ADD1C198-7BBA-4173-8DEC-2C0B749E9AD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Place bisimulation and liveness for open Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Place_bisimulation_and_liveness_for_open_Petri_nets"}}}}}