{"entities":{"Q878111":{"pageid":879959,"ns":120,"title":"Item:Q878111","lastrevid":65065011,"modified":"2026-04-12T00:05:02Z","type":"item","id":"Q878111","labels":{"en":{"language":"en","value":"Verification of bounded Petri nets using integer programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5146150"}},"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":"Q878111$1B4862B8-B10B-4B80-AB33-43787197D322","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2c33193cbe46160d636257ef9428c379e3db2fe","datavalue":{"value":{"text":"Verification of bounded Petri nets using integer programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q878111$103202D3-8EF9-4203-A32A-132C19AD4B58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6296554e3becb4d8de255e8d964af03f04f37a5","datavalue":{"value":"1112.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878111$FF917BAC-BA33-45D4-92A7-FB381B39CC75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a8e94683a4b6c58358f4dd8e3a0aa19dc8c360e","datavalue":{"value":{"entity-type":"item","numeric-id":403019,"id":"Q403019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878111$91337FC7-B21A-4907-838E-41A225F375A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde96b44d9cad9ac40bb3f7dd714b330c99ed5d","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878111$4BB1A5E5-778D-4F27-90A6-D4BDE4BAD85F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878111$8E4DF508-1704-42C1-994A-0EBB11713739","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"018eb3d5a1529ba4d911dfe810dafc033402deeb","datavalue":{"value":{"time":"+2007-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q878111$C1DAF496-F59A-4BDD-9CBB-D6971E42A8CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878111$B11238C6-30CA-47EB-A769-598A2011BF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878111$A89249CC-A26E-475B-A915-352330AF7625","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c51bebf5b66aef506e55c1573140fb986cdcae9","datavalue":{"value":"5146150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878111$2C46BBFF-ED80-40B0-826F-9F00CB891B5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q878111$C96A89D8-0829-4AD0-8B68-F95ED3E00AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q878111$E81F19C9-3599-4510-9B10-554A2F1BC695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c4538b12e98f1a419b39d4aade81ef5503d5b1e","datavalue":{"value":"Integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q878111$74299E38-D771-4EE9-B52F-17AECE8A1963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392a68cd4ca8afcef8cf35ad2fafc284ecadc11f","datavalue":{"value":"Net unfoldings","type":"string"},"datatype":"string"},"type":"statement","id":"Q878111$C04DD3AB-C528-4AB5-BD74-C17A4DF2D439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a784cf042eeda412f994c6360592bec7461bc336","datavalue":{"value":"Partial order techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q878111$90E1402E-C233-4210-9EEC-5992B4C98C7A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1b63416d352770f4f8c0811340e4c96e99b8865a","datavalue":{"value":{"entity-type":"item","numeric-id":28416,"id":"Q28416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878111$931B7EE6-3CFB-41E9-8C16-F112D53AFEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878111$6A53E6BF-8A30-4DC8-8CED-DDA2BD11EC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878111$DD750A6D-4CE3-4D09-B2A1-EAF8ECF54627","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":"Q878111$1F742ADC-6009-4BCE-BD6A-29B10A0C4E68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52a29ab4d871d8f86e143b64c15ed2c9b42a9a87","datavalue":{"value":"https://doi.org/10.1007/s10703-006-0022-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q878111$E73B9F5A-2346-4C2A-9127-8C4C956BB2CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a149b82c69129599c98bfd1ad04d7a56ec482b9","datavalue":{"value":"W2041613450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878111$220DC03B-9CE1-44EE-B18B-6A2D5C79EE4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5827bd57062ab98cc093b0660e099117e606c7fc","datavalue":{"value":{"entity-type":"item","numeric-id":1391934,"id":"Q1391934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878111$296BFDAB-5595-46A8-901B-F10EE8FAEDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb08f06c41f5975360234b48d06eee1288d4114","datavalue":{"value":{"entity-type":"item","numeric-id":1333281,"id":"Q1333281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878111$A16A7F68-5DCD-4089-B755-CDF9B9A461FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd92129a26dbf41cdf266b4912c7209843a4f651","datavalue":{"value":{"entity-type":"item","numeric-id":1175711,"id":"Q1175711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878111$AEEEB8A5-7CB3-4490-83C2-44BC8007E117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29558a7d29a75e1c126135f22d6c400886954fba","datavalue":{"value":{"entity-type":"item","numeric-id":1600655,"id":"Q1600655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878111$7BAF7F5B-D6BC-49F0-BA0B-CAAB699A8015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43bd5fdf5aa5844fbfdca79209f802260aedff52","datavalue":{"value":{"entity-type":"item","numeric-id":1346682,"id":"Q1346682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878111$4E84A8F0-C5DF-44EA-96B7-9854D1F62E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66033f43f58869667a3e65d22bd41d465395f07f","datavalue":{"value":{"entity-type":"item","numeric-id":4264234,"id":"Q4264234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878111$38616084-ABD5-4F60-AB3A-3DC4CD77A6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df23f6ccb13b7deb7619c44c8685b192d26beb0b","datavalue":{"value":{"entity-type":"item","numeric-id":1889762,"id":"Q1889762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878111$B7A4AFDB-1C38-4090-8B64-244E37C17678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdee478a94969c6dbea5f6517b5ef86dab3af35","datavalue":{"value":{"entity-type":"item","numeric-id":4536617,"id":"Q4536617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878111$B53CDE6E-66FA-470F-BB07-D6374E5D790C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b10122c6587856b24da434916c9779f686517fa","datavalue":{"value":{"entity-type":"item","numeric-id":878111,"id":"Q878111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878111$2BCB3EC2-1D9B-4F6E-BDD7-DB69A4098595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a005d1d8670709d466e18edb24da5115b74be5","datavalue":{"value":{"entity-type":"item","numeric-id":1274445,"id":"Q1274445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878111$2DB7937B-E34D-4121-91BC-D67F7CBDD82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd8fe6f2636c0559b54d88cb9fa59f73dcf70575","datavalue":{"value":{"entity-type":"item","numeric-id":4247289,"id":"Q4247289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878111$A888A0C5-F553-4EE9-8561-2C59DAC44650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6783baa95dc154a60bb903b06567278ee97ec1e8","datavalue":{"value":{"entity-type":"item","numeric-id":4955343,"id":"Q4955343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878111$0275667D-73AF-4B5F-964F-86E9EF8370A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"732dcab6eeac7b147cd8fd91952469798f3df661","datavalue":{"value":"10.1007/S10703-006-0022-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878111$33FD4766-3F44-4164-BF01-42B09DEA839F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"249ed633af51a6a9c414da9745069a7695caac6e","datavalue":{"value":{"entity-type":"item","numeric-id":2769606,"id":"Q2769606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"558881c3c2f36620b7fb9e79a67bcfc45e73bb8a","datavalue":{"value":{"amount":"+0.91428864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878111$300E878B-B1C0-470D-A0F6-8C200B86F436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a15089ec103eccef3c4ad29b868ff1f8902029b3","datavalue":{"value":{"entity-type":"item","numeric-id":5934289,"id":"Q5934289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41b65aff489442e00d057b7bbb782c2ddcd76cb","datavalue":{"value":{"amount":"+0.9126286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878111$F5DF2EFE-CC70-4E18-AD66-DA3D5442264C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99223720c8dc75f1875f9e1a729c106783ae05ba","datavalue":{"value":{"entity-type":"item","numeric-id":5451165,"id":"Q5451165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37dc2d093e594306ca3760032fc361f77898b64d","datavalue":{"value":{"amount":"+0.89310765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878111$4193D865-1B22-4B57-8DB2-A671A2ECF86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9568d7ac0fc09d966ca5b5ebe36c58b673e186c1","datavalue":{"value":{"entity-type":"item","numeric-id":2234071,"id":"Q2234071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a98c65acdc056692b24d268a02da86c71b39aed3","datavalue":{"value":{"amount":"+0.8926178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878111$0E95665F-E886-4F00-98B5-9BD36B2EBD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c8cedbdbe923a4df34d6e1863a7dfaf34de9fdb","datavalue":{"value":{"entity-type":"item","numeric-id":6487384,"id":"Q6487384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"255cc16d014460086b6efb66bcb0236162e989fe","datavalue":{"value":{"amount":"+0.88907087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878111$19E3B472-602A-455F-963F-C89E5CCEFBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d58862011788cbc7ae7e612207ceadcdaef80d","datavalue":{"value":{"entity-type":"item","numeric-id":3081898,"id":"Q3081898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"590d59113f77b193ca8ae5f7c6c11101bb3de209","datavalue":{"value":{"amount":"+0.88767534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878111$F167E96D-84E0-48D5-A099-9C772B33B1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21163ffb8906f890b1b920725fb02e0fb8459ff7","datavalue":{"value":{"entity-type":"item","numeric-id":3510821,"id":"Q3510821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243dbbf7a0f478693538311d30d6ee9fb7840520","datavalue":{"value":{"amount":"+0.88728666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878111$58605F36-226A-4D4E-B84A-E266E46D71B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f0f52ae4d8e65d25e4fb801d96e40b1d256274","datavalue":{"value":{"entity-type":"item","numeric-id":4976372,"id":"Q4976372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d291d85aefeadb0f4a4302df62c6fe9c27a63b3","datavalue":{"value":{"amount":"+0.8871436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878111$1B74A70B-D601-49F7-A460-44A47B1F71BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of bounded Petri nets using integer programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_bounded_Petri_nets_using_integer_programming"}}}}}