{"entities":{"Q4976372":{"pageid":7005951,"ns":120,"title":"Item:Q4976372","lastrevid":52867976,"modified":"2026-01-23T16:36:13Z","type":"item","id":"Q4976372","labels":{"en":{"language":"en","value":"Characterizing stable and deriving valid inequalities of Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6754633"}},"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":"Q4976372$665B18C1-1B72-442C-824E-853B0F7AF1BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1a98a40e6fdacba1ef4027671a032fcf24b7544","datavalue":{"value":{"text":"Characterizing Stable and Deriving Valid Inequalities of Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4976372$7C17F945-17BC-4127-8BEE-FA9ED5AA44C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"713cb9c55a32922944b84541937de02023a059e3","datavalue":{"value":"1372.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4976372$EEDFF217-19A9-4F2D-96A0-5101C0905D7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9709745be25db9d25a8bb28b0dbb59a784e5244","datavalue":{"value":"10.3233/FI-2016-1374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4976372$BF00504A-0875-4D3C-86EB-DF3249C2F894","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5ef91079c1d33b806bceaf524f75b678498cb89","datavalue":{"value":{"entity-type":"item","numeric-id":2941155,"id":"Q2941155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4976372$21345BB7-71F4-4B57-8F75-217E689F712A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15c7609656feb05176896482efd51ab09fd0861b","datavalue":{"value":{"entity-type":"item","numeric-id":1643138,"id":"Q1643138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4976372$3F9D5251-5897-4C5E-B00B-BB328CE20C87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4976372$2F5DE740-2DD2-4FF4-896D-5F42A7F07721","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c75f36686ff101691de5da09ae7135abb2a012b9","datavalue":{"value":{"time":"+2017-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4976372$D4747D28-12D0-477B-8DF8-0357231BC560","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4976372$53804D9D-CEA0-48B8-B576-58787A487723","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f22da750d755b312b0c9095bce51e43683f679a","datavalue":{"value":"6754633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4976372$2E9E05F5-709F-45CA-977E-0F07E06875CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"396859cb6c073f564424aad1bbbddf5789ff9553","datavalue":{"value":"Petri net analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4976372$0A97B298-D347-420E-AC4C-6BB8F8311E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39798fe92e7ff67ee0b4a7633c0b5df74d0f0950","datavalue":{"value":"inductive invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q4976372$FBBB5630-2711-44D8-91ED-0C19697151B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdae6483334a009b4e898c64794b67889a5295a7","datavalue":{"value":"linear inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4976372$8AD8FBCB-8491-425D-B59B-7D2EB908C1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b517300d3876704b074173c6112c95250bd91c1e","datavalue":{"value":"stable properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4976372$AD90FE9E-F271-40B9-A415-52725E36F54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6165801d7b82a2ed40c0b9cdceaa9e284ad9587","datavalue":{"value":"traps","type":"string"},"datatype":"string"},"type":"statement","id":"Q4976372$F563D783-FD0E-44B9-A215-FD09B31B5566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc0a2f6d8f662a924b7bb58eaab2c66b549d6bd4","datavalue":{"value":"co-traps","type":"string"},"datatype":"string"},"type":"statement","id":"Q4976372$88FC7B55-CAFE-46B3-816D-99C8F28F865A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q4976372$FAB4C75D-1CBD-4318-AAA6-FD6C6047E006","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":"Q4976372$AAB84600-C6A3-4A2A-BAF7-FC0D60348AD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b032a1b25ddbcc258d989b93c1d95e64c4a3a9e7","datavalue":{"value":{"entity-type":"item","numeric-id":2941156,"id":"Q2941156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29e618e16b1dbd0ce43b1cbc8dcb2580800e3ea5","datavalue":{"value":{"amount":"+0.9726964831352234","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":"Q4976372$0CAA100E-7169-4FD3-AE31-5B6ED11A0778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e878a8f149a0141b83edcce86a70b982ecd5d76","datavalue":{"value":{"entity-type":"item","numeric-id":3826378,"id":"Q3826378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bfc0c393200be788789ca1e250489c1ba8100f3","datavalue":{"value":{"amount":"+0.7745321989059448","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":"Q4976372$37B11B83-6CD3-4176-90F5-626F1DE62E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f5f7637c4be110529d0ba2797605d3fd0ff54d","datavalue":{"value":{"entity-type":"item","numeric-id":4608666,"id":"Q4608666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd2760fb1fb9cf9110abe419dcb95c2d0135251","datavalue":{"value":{"amount":"+0.7731518745422363","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":"Q4976372$3835C6AE-C367-4D03-9537-62F238E00E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93d222f50f084d917cfa63487c624706030dd0eb","datavalue":{"value":{"entity-type":"item","numeric-id":1293552,"id":"Q1293552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65f4674827f3793551abfddb3f8542385217366","datavalue":{"value":{"amount":"+0.7694333791732788","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":"Q4976372$ECC7F7E2-7ECE-46C3-942F-2A53CA1BF4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bce3e63703a044847059b3523537122b9e4ee03","datavalue":{"value":{"entity-type":"item","numeric-id":1780238,"id":"Q1780238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de40eeb34c4a2483c125f5fca76b17356e468bb1","datavalue":{"value":{"amount":"+0.7593099474906921","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":"Q4976372$6BF3DC4D-7828-4C2F-B9D6-ED7A87D74F38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4976372","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4976372"}}}}}