{"entities":{"Q5357699":{"pageid":7387273,"ns":120,"title":"Item:Q5357699","lastrevid":52897979,"modified":"2026-01-23T18:26:29Z","type":"item","id":"Q5357699","labels":{"en":{"language":"en","value":"Synthesis of bounded choice-free Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6774207"}},"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":"Q5357699$44863267-041B-46B4-8404-669664B5E54E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"101d74d548c6231602d5185f03babffa7566f6b3","datavalue":{"value":"1374.68319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357699$6E6FFDD0-A2E3-44B7-8C79-D98F1E1F6395","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4c9bd5e841d4bab29501a8da2aade8a8cab81a9","datavalue":{"value":{"entity-type":"item","numeric-id":218983,"id":"Q218983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357699$9DDF20C8-D122-4E16-A7CB-17447A539428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"339e021ba63ce43474248ae6e57750fa061ec58e","datavalue":{"value":{"entity-type":"item","numeric-id":218984,"id":"Q218984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357699$E5CC51B1-9D2B-4E6E-ACFF-EA8B6642AF80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-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":"Q5357699$4BEF9E52-8E67-4BFE-8807-5CE09ADEFB61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357699$CD941579-218A-4D16-ABC0-4FE623634DD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d2bbf58734ff6d85cc4d66ed76d5e20d5d88376","datavalue":{"value":"6774207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357699$78E11BC2-9B8B-4C6F-9D29-052539E2BC43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11f596735183fc0f49951b6a8414aba3515e6c2f","datavalue":{"value":"choice-freeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357699$DF2E44D2-BB52-4A0A-BDF1-EB772C123A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357699$9B8FB56E-6BED-4515-86D0-F7A428CAA716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7584267bb3dff5d15567681f6e57b71bd1aa2e1b","datavalue":{"value":"persistence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357699$3D2DA139-61F1-42AF-A4A4-046695FF7674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357699$3EBA9D2C-074D-446B-8188-6BCAAB12D278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a86da9c93f52ce73952dd7698f08b8b44aad65","datavalue":{"value":"system synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357699$83365436-C087-4823-8BE0-74E43C70FD6F","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":"Q5357699$F63016FC-8747-4C23-86F1-58D54AED133C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"638d2f30af4821a002bd6b006c65b592f19e4ecf","datavalue":{"value":"10.4230/LIPICS.CONCUR.2015.128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357699$97B543CA-5D65-4D7B-91DE-72F88255B665","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60afcc2df441aa237b17d664c2696888deff9fe","datavalue":{"value":{"entity-type":"item","numeric-id":1789066,"id":"Q1789066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a149189bdfaaf33a2ff39809b2b252ab7d3d08f5","datavalue":{"value":{"amount":"+0.9710075855255128","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":"Q5357699$7F08F4DD-F79C-426F-A04D-6712ADBAB01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c984222fe3eb4191cf6431fa17b2ce73cbb527e","datavalue":{"value":{"entity-type":"item","numeric-id":2803576,"id":"Q2803576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41cabdc6e07347bef8ea0e70f3804338215001c5","datavalue":{"value":{"amount":"+0.8803761601448059","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":"Q5357699$E13E2CE2-FE6A-4E22-8636-CD142C256EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4c1cccd32c5b720af59bf52471b5f85d1aeb7b","datavalue":{"value":{"entity-type":"item","numeric-id":3510859,"id":"Q3510859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eae85780ced53859126c0218efe326586090c10","datavalue":{"value":{"amount":"+0.8682832717895508","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":"Q5357699$C881C467-BE41-4A75-98A6-159FBE736E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7535c83d7e368992b0c9e6907e0eb7d2efd1c57d","datavalue":{"value":{"entity-type":"item","numeric-id":5100751,"id":"Q5100751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b85ee86683d2299163e658f64b6668650a9678f","datavalue":{"value":{"amount":"+0.8657825589179993","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":"Q5357699$D9FAA799-E328-4754-B22A-1B50BA6BEBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fde4cd57e829b028126d0ebd5094ab0a30d38e5","datavalue":{"value":{"entity-type":"item","numeric-id":4621223,"id":"Q4621223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e33543697fcb542af2d6570c6f0cac583a7241","datavalue":{"value":{"amount":"+0.8647515177726746","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":"Q5357699$EA1651E9-777A-4FE4-BAA5-BD00CF6DF94B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5357699","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5357699"}}}}}