{"entities":{"Q3449635":{"pageid":5200955,"ns":120,"title":"Item:Q3449635","lastrevid":52386413,"modified":"2026-01-22T12:52:33Z","type":"item","id":"Q3449635","labels":{"en":{"language":"en","value":"Bounded synthesis for Petri games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6504747"}},"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":"Q3449635$E71F51C0-5955-43FE-AC1D-3EAE08026EEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6d00e88312087d7c19193d8df78c3ce4876b8b9","datavalue":{"value":{"text":"Bounded Synthesis for Petri Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3449635$47804718-41C5-4226-85A7-18448F7C5B8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d0a1e9d4f2312371d680384ca5eb78659ca4c71","datavalue":{"value":"1443.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449635$2729437A-E921-48C2-947A-770DE2242839","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efb1c8521cf97337fe6245258f4561bbb208c81f","datavalue":{"value":"10.1007/978-3-319-23506-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449635$021AA2CF-54C9-4B44-953B-66AAF2324285","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449635$AB919495-9C87-43B7-81F9-94FA49C67F98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449635$AD9C6AFD-1909-4FE0-A6DE-408111699479","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87b5c622b344036d13fd1ced0604456063cc2441","datavalue":{"value":{"time":"+2015-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3449635$5F9ADEB7-C937-42F2-A84E-752576A0D77A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449635$BE36583F-568A-4E88-94A6-403A782CAFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449635$14C4F79E-2687-4134-AFD8-E52FF7A50D43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09d39d1f4b239c0b75a868032c7a4f36c46d780f","datavalue":{"value":"6504747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449635$5C7DDEC8-6916-47A0-B343-28851A567F46","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6b38d41f42be9a63abc418d73603b2d531b26a9","datavalue":{"value":{"entity-type":"item","numeric-id":21713,"id":"Q21713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449635$0DD1A13A-05CD-4129-814B-441952B914E0","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":"Q3449635$E3CA23E0-9112-46DF-8ACC-CE5A27A1DD07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ddffdc022f4ff8857eb3659cb42e7c583670e90","datavalue":{"value":"https://doi.org/10.1007/978-3-319-23506-6_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3449635$2A046203-BD45-43B5-9484-E5418DF5289B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14369e66e830804ae98c66c0eb9a1a63d57440d1","datavalue":{"value":"W2295266152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449635$7DB24DA3-4BE8-4AF1-B3BA-DA911D52C6FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449635$C60A1841-344B-4FCF-8ADE-25E52F2C39AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a179078c9a9f8b24e5164f170dbd1be09ede2650","datavalue":{"value":{"entity-type":"item","numeric-id":4551177,"id":"Q4551177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449635$F1095753-7118-4DF5-9DF8-DB16925FF118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e35d6c7eda7b15211e8969f9247637ed3b0046","datavalue":{"value":{"entity-type":"item","numeric-id":5491869,"id":"Q5491869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449635$815F1740-9422-4BC4-A851-97C23C4E3163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449635$1970209A-5D3E-4DDE-A904-9FA45DDD778F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c96acf389200ae0a7534eb1dede3d1d0c171ad","datavalue":{"value":{"entity-type":"item","numeric-id":5465860,"id":"Q5465860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449635$B01E2111-69C6-4088-85C2-43D4E8C0565F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77eaae5f3f3287304f74412ab11d87eda5bd150f","datavalue":{"value":{"entity-type":"item","numeric-id":5327440,"id":"Q5327440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449635$989308FC-DC00-444D-A945-6F5F659680A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243db8581ad61cea77b50b3faf6ed15776b4d7f4","datavalue":{"value":{"entity-type":"item","numeric-id":4791837,"id":"Q4791837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449635$9DA9479F-16B5-4EA9-BB7E-4C94346C5B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aec41f259dcf5ff1796c74abe19b9c12d36d8a4","datavalue":{"value":{"entity-type":"item","numeric-id":2767086,"id":"Q2767086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449635$A8B215A1-C5EB-42F1-A0D8-E7CC3F7F0AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f234712b1aa94710207e78d0463a15230877fc","datavalue":{"value":{"entity-type":"item","numeric-id":5897770,"id":"Q5897770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449635$808D3640-8C7F-4367-892B-D152C56CB24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038a119376752c8e014cdd5dc9e112517a380d5c","datavalue":{"value":{"entity-type":"item","numeric-id":4535033,"id":"Q4535033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449635$5F6F1CF8-A7E6-4EB5-9FF9-5845024289B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebd47a55b9c2aed7b10858aad59c96098e81642","datavalue":{"value":{"entity-type":"item","numeric-id":3620436,"id":"Q3620436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449635$AF5B713A-9BF4-4D07-BDB8-0A4C2D1EA483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75292f6880dd3275361618ebb07df15f46377e02","datavalue":{"value":{"entity-type":"item","numeric-id":4074888,"id":"Q4074888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449635$80449DCB-EB42-473C-BE72-C28D7C257911","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92949456f34c51d10ab7d2d25ce5d28952c227d5","datavalue":{"value":{"entity-type":"item","numeric-id":2165240,"id":"Q2165240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e82ef2a01f35591de0a0892f128ebdd1544d116c","datavalue":{"value":{"amount":"+0.8797871470451355","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":"Q3449635$F7E79247-B4AF-4420-A0EB-F415149D93CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"144cece961655cd354be6b2d29cb38425ee85849","datavalue":{"value":{"entity-type":"item","numeric-id":515654,"id":"Q515654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240a02f924aaa668f204d4d15b4ec1f91323f368","datavalue":{"value":{"amount":"+0.8528923988342285","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":"Q3449635$233EA14E-741E-4316-AC9D-8280EF741BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fdceaf1226149e3081ff5995a88acbaea73a6f2","datavalue":{"value":{"entity-type":"item","numeric-id":4995371,"id":"Q4995371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea6876c9da2d8c8d34fbc19333eb493bcf0646d","datavalue":{"value":{"amount":"+0.8528923392295837","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":"Q3449635$3D886584-F0D5-44EB-84F7-A890279CF014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e461d25ee3c8fe953d7418223ffc2863af098be","datavalue":{"value":{"entity-type":"item","numeric-id":6045029,"id":"Q6045029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da0eef6344e9f08f515e775e1490df1b0dfde2f","datavalue":{"value":{"amount":"+0.8405470848083496","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":"Q3449635$CE7D485C-5941-4E0D-A7FE-ACE37C9C8FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31af2b01fe44a84828df0a5ad32f6779c46b9bd8","datavalue":{"value":{"entity-type":"item","numeric-id":2117156,"id":"Q2117156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4262ce6cad253b9daac0e7f476f2a42adfcf7a2a","datavalue":{"value":{"amount":"+0.8223967552185059","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":"Q3449635$ABDE891E-6975-40B0-AD1E-4150DAB75705","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3449635","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3449635"}}}}}