{"entities":{"Q4644609":{"pageid":6674190,"ns":120,"title":"Item:Q4644609","lastrevid":53313644,"modified":"2026-01-24T17:18:37Z","type":"item","id":"Q4644609","labels":{"en":{"language":"en","value":"Propositional dynamic logic for Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6998043"}},"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":"Q4644609$062371E6-5829-4B17-A3CB-ED46C87F7717","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"824c08e5ae47fdba2144ee935658cd0e5681b2e7","datavalue":{"value":{"text":"Propositional dynamic logic for Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644609$63348DAD-4FA2-4CEF-B812-4DF438F7A330","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40cff41d0bf344cf01206fafd1b2669827145a84","datavalue":{"value":"1407.68335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644609$95713FCA-85F9-452D-964F-8DB7AE81E087","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faf035fd863b205682c8dda962765b1be375dd4","datavalue":{"value":{"entity-type":"item","numeric-id":281143,"id":"Q281143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644609$8FD399A0-5C3D-46A4-93EB-058F74064D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"523eb1c9f92e29e52a82edbd2df5947e22806cd3","datavalue":{"value":{"entity-type":"item","numeric-id":281153,"id":"Q281153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644609$CE8D6D95-9ABC-41B7-8765-545736441164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63d9233b42254158160c8d5be21064a25b66fbf1","datavalue":{"value":{"entity-type":"item","numeric-id":489209,"id":"Q489209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644609$E0BE46BB-C4FD-4F79-A667-94CF1B25A60C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644609$7CF91773-F203-4B30-8E64-3AE97A961AF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"436970dce02357d1fd262ee0d2e84fa151d0c684","datavalue":{"value":"https://semanticscholar.org/paper/8b624eca85b47a1fb3fbcae862c8f9e38efb9574","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644609$7FC168B6-2EE2-4E66-B5DE-2CA8621099FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644609$10F0043F-B8E7-451B-A468-3E4C1B0F5959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644609$32C5D482-0516-4F05-9187-AF0535EA63E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644609$16A762C9-2F90-4B81-9EAC-56B631BA8A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644609$614F0E4B-30A5-4E05-A576-6A98BB1F632C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27d26aadab31da6b10ebc389f0f5cd898872e48d","datavalue":{"value":"6998043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644609$0C3C878A-901F-4C49-9803-91DD127AB82C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644609$0E534D4D-37FF-44CB-84CC-CE1426CF0155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644609$D2D46CF5-1E2F-4A8E-939E-21849353DA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76af66df8d9cb8ab352840a3bf140b47faa92f15","datavalue":{"value":"elementary net systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644609$814A2DA7-12A9-455B-AC36-1CB7C631C1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644609$65B6C4C8-3788-424F-97E5-C1A452D68B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644609$4A0485D9-DEB4-4A66-A667-EBAA0CF1865D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9afca30be1a7787ef20a1ca2df96f8f21ec1c93","datavalue":{"value":"model synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644609$EB35DD5D-634D-470B-90B3-60A0AC42CB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"254092f02ab75c8f613f40c626f4d610034d00e2","datavalue":{"value":"axiomatization of properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644609$DEDAC8A2-1436-47DF-A381-0F99ED189599","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":"Q4644609$EA685F72-4923-4D7E-BD12-93B075DBEF8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4ab6bce0c0be6d1b8a8ed28f6b36844bf6de737","datavalue":{"value":"W2011342176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644609$08E96A7F-99A3-4552-A541-110A4D5B05E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b0560a8f602ac2be2826a1ba60d7d8c95a657ad","datavalue":{"value":"10.1093/JIGPAL/JZU010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644609$3BD2C6B4-E6E8-46FE-B21C-24CCA3C931D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644609$70BCC61B-60EA-4543-830F-81C4608E8788","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855e1b494e2774dfb64132dfd52837c9100b87ce","datavalue":{"value":{"entity-type":"item","numeric-id":281154,"id":"Q281154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4074850939e9f8900930e7d9316e0687aa60f22b","datavalue":{"value":{"amount":"+0.9093107581138612","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":"Q4644609$6264246B-EFD7-4970-9051-93416F43832D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a9ea80679e044562499fd04606c455ca135080","datavalue":{"value":{"entity-type":"item","numeric-id":1786561,"id":"Q1786561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2243b3fea7a1a7a1850a8e529b1cb471cfe1e517","datavalue":{"value":{"amount":"+0.8471472263336182","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":"Q4644609$BD796C2F-5802-4F98-8D7A-6E6E6A2BEB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14ba42db8022d87272013c5724dbba6ab287541","datavalue":{"value":{"entity-type":"item","numeric-id":3179415,"id":"Q3179415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e215110db0210be38f1035aa90eebda0aa5e8b2","datavalue":{"value":{"amount":"+0.8296836018562317","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":"Q4644609$237F2DDF-5FC0-4C01-B6B3-87EBC098564E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1696c4ca228238e4beb09001c17ecb040f1e3e7e","datavalue":{"value":{"entity-type":"item","numeric-id":3185762,"id":"Q3185762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed807a5ff6f07d1403192b56ff49977fb9e647bd","datavalue":{"value":{"amount":"+0.817602813243866","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":"Q4644609$A982112B-06FB-4415-9F5F-8B8A1F6255BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20beed9b09b7d5b0a6f2cad6c51d80c7102f06f5","datavalue":{"value":{"entity-type":"item","numeric-id":3511450,"id":"Q3511450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80725b8434faad08685dcf9f3e90e991aab965cf","datavalue":{"value":{"amount":"+0.81064373254776","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":"Q4644609$024AC2CC-2D73-44D7-B307-F7BF84C0E0C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644609","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644609"}}}}}