{"entities":{"Q2842083":{"pageid":2852803,"ns":120,"title":"Item:Q2842083","lastrevid":51785210,"modified":"2026-01-20T00:50:31Z","type":"item","id":"Q2842083","labels":{"en":{"language":"en","value":"Uniqueness of minimal 1-safe Petri net generating all the binary \\(n\\)-vectors as its marking vectors exactly once"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6192969"}},"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":"Q2842083$9812909A-AF9A-4563-9DC7-4F5D1CC5E7D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b05ae1086351680c0566d8d5428e044960238770","datavalue":{"value":"1269.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842083$BFD17ABA-3792-4E03-A0D0-DF90FFA7F1DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"adcf4022d682be7ac86fc1d93ced37637474193c","datavalue":{"value":{"entity-type":"item","numeric-id":2230047,"id":"Q2230047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842083$0DFC146A-E93B-4FCF-A1CF-014861286C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e385a18cc0c846680b7966ee95ef59011cfb59a3","datavalue":{"value":{"entity-type":"item","numeric-id":324911,"id":"Q324911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842083$5D7F9337-598B-429B-8F54-51A3A1BB9A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e22565b3ab8001985ac9e6916edffef9605181e3","datavalue":{"value":{"entity-type":"item","numeric-id":1985925,"id":"Q1985925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842083$338DC281-06C7-46CB-B81B-43150C0F3378","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"683b08489c463bad988b3e086c3ff9e3b094bf28","datavalue":{"value":{"time":"+2013-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842083$11A9A398-A9CC-402F-9C98-858AECBE19E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5dbf7b12c72185dd629fbe2af8dc8689d40ca474","datavalue":{"value":"http://jams.or.jp/notice/scmjol/2012.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842083$F5CD8698-81C1-48B8-A956-2154F2CE6FD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842083$21D796F8-53A9-45E4-98AE-63E031B63FEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3651a12235a5f15bae3a0e10c024822a92cbd472","datavalue":{"value":"6192969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842083$1472D26A-5395-466D-9394-9BC7CEEBCCE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d541b59ccbb7234a273dc7c89378ab53969dc492","datavalue":{"value":"1-safe Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842083$51A64CE7-8C58-4DE7-B41F-D8E8539FE968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6521ccd380c236f763faef98a7efcf1ee65a7c4","datavalue":{"value":"reachability tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842083$DDB11B5A-547C-41C0-AB03-7C4FF831CD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c94ff68a384e5e48a1e5d0677c840e053513b9e9","datavalue":{"value":"binary \\(n\\)-vector","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842083$8FB040E1-647F-4D17-9947-213EBD1A6014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee33441148db99ee2aae179c365dfc18db3ba89d","datavalue":{"value":"marking vector","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842083$D470DE7F-E0BD-48A7-A85B-81E3FE2C5604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5503991a8aff7c2a4ddbaeb418353d7db5cc523","datavalue":{"value":"complete bopartite graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842083$0795101B-D6C7-46EF-B2E7-4FE4549174DB","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":"Q2842083$D634646E-AEBD-42B2-9555-8C8AFF07E989","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b585ae9df140bbf220ead69400588ec7888a3fbc","datavalue":{"value":{"text":"Uniqueness of minimal 1-safe Petri net generating all the binary \\(n\\)-vectors as its marking vectors exactly once","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842083$C00AF71B-EC84-47D1-952F-261039F945B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e62c90d3a2296d719d91b2e9d262ae0e151cce0","datavalue":{"value":{"entity-type":"item","numeric-id":6653154,"id":"Q6653154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842083$C6790247-897B-410A-B154-5C945D0C363A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d273b235f2e168632222694453dc99ae7f7f0bd","datavalue":{"value":{"entity-type":"item","numeric-id":2842078,"id":"Q2842078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5d316d66146c9c86f7bd9a6ecdd45794d0c270","datavalue":{"value":{"amount":"+0.8872337341308594","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":"Q2842083$971C39EA-448A-4B09-A050-38A91CD60CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48764128b25483c7d6ec9741f89da87b863a7f2e","datavalue":{"value":{"entity-type":"item","numeric-id":4268457,"id":"Q4268457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bd1cbeab186344abe0c5252398211c7fdde1528","datavalue":{"value":{"amount":"+0.7449913024902344","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":"Q2842083$D6F1A361-628E-403F-88F7-E7E946159091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00cca85654702d9156936a03d4ae68dbd8258e40","datavalue":{"value":{"entity-type":"item","numeric-id":3741070,"id":"Q3741070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f35df56138370aa079dd682276f469ae599b03","datavalue":{"value":{"amount":"+0.7422816753387451","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":"Q2842083$D9555435-5C80-4724-8FA4-2941B089A24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f51cd5b6f734255744dd0ab9df6e2c6ee32921","datavalue":{"value":{"entity-type":"item","numeric-id":672459,"id":"Q672459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3943e38bfa4b715570665f23ba149c5a54ed6fe7","datavalue":{"value":{"amount":"+0.7363333702087402","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":"Q2842083$6AB253C1-D22D-482C-B687-6ABC973EDA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c50905c45dc96d24a01ca9edac19b7a08afb27","datavalue":{"value":{"entity-type":"item","numeric-id":515678,"id":"Q515678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21b62dc8d4b858c2d2f32f5b8c4aeed7025b54c1","datavalue":{"value":{"amount":"+0.7357997894287109","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":"Q2842083$7C1A3BDE-898D-4E15-8A20-5088271D52C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842083","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842083"}}}}}