{"entities":{"Q3182632":{"pageid":3193340,"ns":120,"title":"Item:Q3182632","lastrevid":50780903,"modified":"2026-01-15T03:54:57Z","type":"item","id":"Q3182632","labels":{"en":{"language":"en","value":"Detection of deadlocks and traps in Petri netsby means of Thelen's prime implicant method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5613147"}},"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":"Q3182632$A2AB1ABD-6893-4711-BF5F-32982C2A730B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7215c598c99a215d1ede6aad5ed6139f9d3b8f08","datavalue":{"value":"1171.68581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3182632$5AC0B1BC-39D2-4183-B818-6BB3C0802447","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"095a2ac906f20ac5d028ea587fb17b369f861c22","datavalue":{"value":{"entity-type":"item","numeric-id":3182631,"id":"Q3182631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3182632$53718471-679D-42CE-9641-826377D6A9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c63ef208e523d11b23f956b9fa73966cf7b22c1","datavalue":{"value":{"entity-type":"item","numeric-id":885346,"id":"Q885346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3182632$E8B8B4F2-A5C6-4133-9987-A95F160BD340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6495479d4678cb5a53382af29015e78394fe659c","datavalue":{"value":{"entity-type":"item","numeric-id":1684071,"id":"Q1684071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3182632$1F57B268-FB3E-467A-B36D-3459BAF1CEDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93f647a4ebf59f456db8e4a403723e6cd39fb2e6","datavalue":{"value":{"time":"+2009-10-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":"Q3182632$D188D9B7-401D-4F67-A455-CBED6A85BC6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a49a8951ec8aaf434f8a2a11baf8272725d4037","datavalue":{"value":"https://eudml.org/doc/207672","type":"string"},"datatype":"url"},"type":"statement","id":"Q3182632$0B3C5D01-6140-44C3-9C11-522146B3B671","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3182632$E8256E41-632B-4243-8964-ECC5B9295AFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce8a063abe2a67409e1262123ff567cdae575a22","datavalue":{"value":"5613147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3182632$D807FC74-A4CE-4B55-86BC-FFC0F8C01416","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q3182632$1E27378E-30F3-486B-9DCF-C51E5E5C90FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q3182632$1B8C31FB-FD10-41A0-A041-86B0C3150C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce372077d2c7fff6e0ca160d894c810bdd5d15b1","datavalue":{"value":"trap","type":"string"},"datatype":"string"},"type":"statement","id":"Q3182632$2C6A87F6-9FD4-4B98-8184-7DA760ABE12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e794ff676dbb33d99c44e2174579ff38cb07c71","datavalue":{"value":"analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3182632$38C8D0A7-A074-481B-A3E9-3B40DC737F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3182632$AD388F29-F1B8-4FA4-810B-58BEC88EA2CF","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":"Q3182632$7910E115-E340-4AA6-832C-F63D6815C03D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9081e0d87d9890bcadec3edca8fae2a3fa59b2cb","datavalue":{"value":{"entity-type":"item","numeric-id":4260152,"id":"Q4260152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778aea554e461a032ef9e569ce8adc1d086ce203","datavalue":{"value":{"amount":"+0.84199059009552","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":"Q3182632$035D39BD-00BC-4F88-9D44-A7BBAF45F291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"078e3610b7edd790fd0bb748079d6182329c3e6d","datavalue":{"value":{"entity-type":"item","numeric-id":3683542,"id":"Q3683542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c5de11673c6e13d17394aaa5daa182a1872077c","datavalue":{"value":{"amount":"+0.8379996418952942","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":"Q3182632$1A3585BD-01C2-409B-A7BF-D7E0D62C15FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e3884cc77a44c8748f0bd1a2a08a46ff61a237","datavalue":{"value":{"entity-type":"item","numeric-id":2641226,"id":"Q2641226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"807ca65e02417c93710b795922b55f8401beac3e","datavalue":{"value":{"amount":"+0.8197320699691772","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":"Q3182632$09B3D6C9-82FC-4DA1-B77F-0377692D4F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38294d880227d6bdf51d3592617d91c1b9fc5207","datavalue":{"value":{"entity-type":"item","numeric-id":4873787,"id":"Q4873787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f10b29b011fb46791a6a0ca956791f6b29f0e0ed","datavalue":{"value":{"amount":"+0.7970010638237","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":"Q3182632$0F3F08D6-767A-4C48-810B-C9049364DED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6db1f03c063783134d90a60b0427bff1f9309e2","datavalue":{"value":{"entity-type":"item","numeric-id":3746895,"id":"Q3746895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c40f501924a5b795385da40a3e3bc9011a5e0aa","datavalue":{"value":{"amount":"+0.7798145413398743","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":"Q3182632$074B077C-3BEA-4B1A-82E1-8EEB28500161","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3182632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3182632"}}}}}