{"entities":{"Q467809":{"pageid":469576,"ns":120,"title":"Item:Q467809","lastrevid":62051253,"modified":"2026-04-11T03:26:54Z","type":"item","id":"Q467809","labels":{"en":{"language":"en","value":"The formalization of decision-free Petri net"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6365915"}},"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":"Q467809$8498DF53-C720-4ABD-903C-91E4BD11FB4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c38ac83705423b855b757204af1552893faa0f8","datavalue":{"value":{"text":"The formalization of decision-free Petri net","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q467809$891EF517-1D0B-4F9A-B073-38BE024A3DB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99b33cd6bc54392776efdd7980f9de928aace7a0","datavalue":{"value":"1298.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q467809$BF2CF092-6166-49D8-8F49-9B6A07C93B6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8572dcc468fa6d7400564fc5de4be37ef2b57fb","datavalue":{"value":{"entity-type":"item","numeric-id":467808,"id":"Q467808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q467809$8EB1BFA2-483C-41FE-BD2D-EAF80DEDE8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ed35c2ef5f7dc79664df3628acf8da981a27187","datavalue":{"value":{"entity-type":"item","numeric-id":467799,"id":"Q467799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q467809$B09D4F57-EE3C-4CFC-8AFF-FF00B6660046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fa6807e5a8e911fd31fe1caa2d52f2de8962f35","datavalue":{"value":{"entity-type":"item","numeric-id":271907,"id":"Q271907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q467809$D5B814A6-786F-49E1-900A-27EDB6E8B88B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q467809$8394D8D2-D753-4881-8BBF-FDAD26705E23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3c4992eb0748f2f2c28a1627f6af88f5f42280b","datavalue":{"value":{"time":"+2014-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q467809$FB36D5F5-98CB-433B-ADCD-1E2A7A5CB308","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q467809$88AAC68E-8F1B-4725-925B-7EA77A8835A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q467809$7CF7FCDC-8E90-42F1-A7C2-FAB55A03A51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q467809$14B26DDE-3CAE-4FBA-AC52-41623F68B4DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2197694b7dceb618ed9a3d33ea695008283dfbd0","datavalue":{"value":"6365915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q467809$BDB42D7D-A248-49FD-9B9E-C67691E41F55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f2eaa5f187dabd6bdefd14f0aba1c622c378cf","datavalue":{"value":"specification and verification of discrete systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q467809$8EED40F2-3420-4283-BDFB-7D36197D342F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q467809$E79A2AB3-7150-4994-BA74-9E5BC7E0B8B9","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":"Q467809$9AF94B52-4C40-4A85-A77B-F0E9BC891FEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6ab1eab6562835f56a2a7e6d5d5f381488b5dc2","datavalue":{"value":"https://doi.org/10.2478/forma-2014-0004","type":"string"},"datatype":"url"},"type":"statement","id":"Q467809$024EF0F2-921F-41FD-BDFF-67CA2744BC96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d1f7307611c56979bac92559aad75cd9a3191b3","datavalue":{"value":"W915070251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q467809$AFE68C59-400C-41C6-BF5A-72D29BFC5CB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"723b98e8766f93dc60cc0f6f734780baf36c30de","datavalue":{"value":{"entity-type":"item","numeric-id":2852181,"id":"Q2852181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q467809$9273239E-DC64-4588-BACB-8C631F441D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e433595f5c1bd49da56b5dc6a4dae4f94ab310","datavalue":{"value":{"entity-type":"item","numeric-id":2865743,"id":"Q2865743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q467809$E1692892-66F5-49E4-BBA3-0FC02EE14B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364dba239c868c1d3ec34e13f65646435c2b2517","datavalue":{"value":{"entity-type":"item","numeric-id":5203581,"id":"Q5203581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q467809$FBF6DBD4-900D-4EC0-A4C9-FA936D777FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6dd4d882f76bc73bbdc3fd690128cb347d45b0e","datavalue":{"value":{"entity-type":"item","numeric-id":4220896,"id":"Q4220896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q467809$C477BA61-9969-4024-B332-751B757D77E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"490d484a591a935c5f7cebc26f122d2b03337690","datavalue":{"value":"10.2478/FORMA-2014-0004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q467809$11526BCF-5177-4A5B-85D9-A0282F1AC2AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41dff8b5cb783bff1821f28bad6f68c4f592c282","datavalue":{"value":{"entity-type":"item","numeric-id":5452194,"id":"Q5452194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fbf43aab4c4c43d2865a5980ae5dc1b899bfe22","datavalue":{"value":{"amount":"+0.785140872001648","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":"Q467809$0324FE7F-C20B-4A7B-8484-26AC74D92A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b145008db41bbe7e0aaf5fb309fddb02b4ad717","datavalue":{"value":{"entity-type":"item","numeric-id":4856177,"id":"Q4856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb7ebf9b0769d106ba0ec57e89363757b6de22da","datavalue":{"value":{"amount":"+0.7799042463302612","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":"Q467809$69A8795D-7CE5-4B3E-99E5-D9116CCECE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31135977936716747c7f31c1849275e598439735","datavalue":{"value":{"entity-type":"item","numeric-id":620942,"id":"Q620942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b9cdb0e327cd393ac231a16984b740b185f754","datavalue":{"value":{"amount":"+0.7385979890823364","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":"Q467809$2E1E931A-D89A-4ECC-93CD-F9B91BC1415F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d4db3fe7069bd1744085b1b8d241be8875a4a3","datavalue":{"value":{"entity-type":"item","numeric-id":3746897,"id":"Q3746897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd9ea6ade4470453efe0c3e779afa2aee527d2ac","datavalue":{"value":{"amount":"+0.7385647296905518","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":"Q467809$AECA583F-34CA-47B3-BEAD-8A30C3666DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c34bfacf3f2b7e436474b702cb9a0a407d8e7d","datavalue":{"value":{"entity-type":"item","numeric-id":3377337,"id":"Q3377337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68173098794932e7c1c89d6457240a602780e438","datavalue":{"value":{"amount":"+0.7357511520385742","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":"Q467809$012ED4BA-FC5C-45B6-9000-4EC8B7E7BEE5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6e2260e47a2889770c9d5516a7c5ae827b188d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6830563,"id":"Q6830563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q467809$54D660D0-42A9-46E6-8FE9-0C2AEE8EE30C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The formalization of decision-free Petri net","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_formalization_of_decision-free_Petri_net"}}}}}