{"entities":{"Q4034400":{"pageid":6064121,"ns":120,"title":"Item:Q4034400","lastrevid":55241821,"modified":"2026-02-05T05:43:16Z","type":"item","id":"Q4034400","labels":{"en":{"language":"en","value":"Verification of causal models using petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 167411"}},"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":"Q4034400$660FFBFF-513E-4627-B9A6-CB549E446C0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80096a2f9afa45a459264bd1bb704a7d208dcceb","datavalue":{"value":{"text":"Verification of causal models using petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4034400$AE366341-F06E-43AE-92E6-F15AC725841B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1c1b96699f08a206abc8ef1ba0fb95c5bada9ec","datavalue":{"value":"0794.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4034400$41F495B8-DD83-4259-BCA2-C9B9DFFE4139","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0c6fa6aaab9746927e5512ae972059a0f9edbba","datavalue":{"value":{"entity-type":"item","numeric-id":814617,"id":"Q814617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4034400$50C2766B-BD7E-40AF-99EA-B8E7D9594736","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2a692c5fbd47d4547f3c7fcd5eafb312e8a8e095","datavalue":{"value":{"entity-type":"item","numeric-id":107479,"id":"Q107479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4034400$4E7D84DF-379F-4C4D-B703-DDD02246DB1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4034400$E66F3B8C-995F-425C-B5C1-982B153EB2F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4034400$2063E883-6F3B-43CD-A9FF-5F1C4627D4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4034400$7EB64084-83C0-4E2C-B207-DDEDA8B50A79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0910af58000b17775df34b79d286033f4b711389","datavalue":{"value":"167411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4034400$32890C8C-11D3-4FD0-854E-DB506B83A9C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f816ccd6086f3b697e2460d430cb1369851a2e63","datavalue":{"value":"logical formalisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4034400$D46D6EDF-E6DF-4F12-A034-4E5F1D02C741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4034400$A6DE2CD9-3772-43A9-BDAB-60EA778EEAE0","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":"Q4034400$F5E7AFE1-4B64-430E-8F37-52DE5CF8D8A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97d4bb9e956a7a9ba7f0f3aaf0736d77cda404bd","datavalue":{"value":"https://doi.org/10.1002/int.4550070803","type":"string"},"datatype":"url"},"type":"statement","id":"Q4034400$F451BE8D-0314-482E-8A3D-2EEB6A81CBB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f7fc791979a8242a17e01eb4a0dc155a13ad6b4","datavalue":{"value":"W2061805969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4034400$9A67CC8B-652B-4500-81CB-278656231F5E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"386b9a836814e16d1030200ba5847c9b0a81df7a","datavalue":{"value":{"entity-type":"item","numeric-id":1236890,"id":"Q1236890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4034400$28A46EBD-1886-46B6-9C6A-5E291A06DCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4034400$AD35CF2F-755E-4AB0-B4C8-6B19E623F0A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8c1796384c06628551d7bb5855797169166b35a","datavalue":{"value":"10.1002/INT.4550070803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4034400$E1EAB68B-2305-43DB-9C8A-748B644741D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da16b45a784be5f826e06c5b5dcc4cfe4d8a7aac","datavalue":{"value":{"entity-type":"item","numeric-id":2842866,"id":"Q2842866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79a182d135ecb8a5f521f4f8f43dee6c5d054325","datavalue":{"value":{"amount":"+0.9245256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4034400$430ACA47-2CDE-4791-BEDF-E0BB64112A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cb90e869468c913de049b9bb48fb10e8e145dc5","datavalue":{"value":{"entity-type":"item","numeric-id":4924449,"id":"Q4924449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68487f704d87506072df64f50527640e446920a3","datavalue":{"value":{"amount":"+0.92272055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4034400$D22F2810-7062-4745-9F55-256D128D5E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635afd6ebaa026241eb2d898096a015e1cba2025","datavalue":{"value":{"entity-type":"item","numeric-id":6487344,"id":"Q6487344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb68e97d80a9838716587406759d21ecc45d9c0d","datavalue":{"value":{"amount":"+0.91463363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4034400$152B1293-71AD-4674-A68B-152F1FD11467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c5f84e2934547c548e8a7caee190d807a8904fa","datavalue":{"value":{"entity-type":"item","numeric-id":3090821,"id":"Q3090821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac2fdb7d437e3617492fd19bfb5d8e1d6ba4fd7","datavalue":{"value":{"amount":"+0.9026873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4034400$61EF6BFC-CA0A-4667-89F3-8AE856312270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a4960f2e66ccacb271821e5515b144668b490a","datavalue":{"value":{"entity-type":"item","numeric-id":1318729,"id":"Q1318729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"239ef8170b950ad96b5fbea5925d7620f61ed2c6","datavalue":{"value":{"amount":"+0.90037894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4034400$3FFE279F-DF01-489F-8086-A8A1D5FFABF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f562fd3e92c56ff6a22a80eb77a6c2cd98a8f46","datavalue":{"value":{"entity-type":"item","numeric-id":5930824,"id":"Q5930824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c11ede8f4c08e68bf403c247002ade40fd206046","datavalue":{"value":{"amount":"+0.8914731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4034400$777EA356-92D2-45E4-8C38-3290DC0D8B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83133bad08af328b11ea680b3ae69890b8f23fa2","datavalue":{"value":{"entity-type":"item","numeric-id":4532996,"id":"Q4532996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c9fd8770380b680b980e6d16a290f0cb6844f6a","datavalue":{"value":{"amount":"+0.88031584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4034400$F0D8B892-5FE0-43A5-8833-A1C67430E7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d989ed598dde590c2bd6dc06f7049eb6bae85441","datavalue":{"value":{"entity-type":"item","numeric-id":2023240,"id":"Q2023240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84c0a8e7200122dc3ec93ea272552c3ff8657f3c","datavalue":{"value":{"amount":"+0.8793521","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4034400$F1F09CD6-DEA7-42CC-8966-8772E3250B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab02ca288c0bce125f18a423e3e553c95b8a5d02","datavalue":{"value":{"entity-type":"item","numeric-id":1575828,"id":"Q1575828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb1d4aaf3932141503d61958a716e8cf3e73c62","datavalue":{"value":{"amount":"+0.8770541","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4034400$4F6F72CB-9D46-4E3A-A19B-ED41CB2E692C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4034400","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4034400"}}}}}