{"entities":{"Q2426108":{"pageid":2436851,"ns":120,"title":"Item:Q2426108","lastrevid":74342574,"modified":"2026-04-14T19:38:02Z","type":"item","id":"Q2426108","labels":{"en":{"language":"en","value":"Model checking multi-agent systems with logic based Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5265510"}},"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":"Q2426108$6DC16E11-68DD-4DD9-916E-583C35410A95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e001c79995326a00eb68c26ed86bf97e0c988f0","datavalue":{"value":{"text":"Model checking multi-agent systems with logic based Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2426108$5C4E40CA-EA1A-4A08-9CA3-81C3C4455174","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4b5f2a4e3ce8f39d492bb34ca3971fea091b119","datavalue":{"value":"1137.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426108$F6881EC7-E545-4310-94A1-83A33F1B5919","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cfcc9ae67a1df5b54047a890e60868ff8ce20a1","datavalue":{"value":{"entity-type":"item","numeric-id":766269,"id":"Q766269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426108$47203AC5-009B-4204-93AF-672A25EDE345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6e4646ecbebe7cc2a702f0e438111a78808a9ae","datavalue":{"value":{"entity-type":"item","numeric-id":186032,"id":"Q186032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426108$1576457D-77B9-435D-ACFD-B9AA20F17317","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426108$6B0DC6F0-BA2B-4CCB-8116-6D438EAF17F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3853cc16a27deff7120c9aee10560847198ea65","datavalue":{"value":{"time":"+2008-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2426108$556087E4-5E37-4A88-ADAB-28B896C05627","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426108$ABDA65B9-C7C1-4701-8411-480E420B09E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426108$2137C97D-D993-4177-9294-8ED447883E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426108$0DC0CC52-3EB3-46B6-99DC-B0AB05DCD1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426108$584E7C82-4C1C-46F0-9809-0E2C01A526BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426108$5ABF3BE0-9BE2-4DA0-9335-B57EC8C62935","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c257800b1f0110a79c7fcbd7ebfe0ed076a6865","datavalue":{"value":"5265510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426108$A6423FF1-B8DA-4F33-B57F-D8EE7F00F1B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426108$AAE3E835-905E-4592-B55A-B2B847324C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426108$0D17B921-FD0E-4B88-9FA5-427445B22909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426108$CEB54679-1EDC-4E69-B9BC-2B2179D54D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01714f45fa66165e3008d21886ca8cb23a0de47d","datavalue":{"value":"Agent oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426108$D1104D50-F437-427D-AA39-B6F08AB2A736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0ab01a9249e8b8b5ce5b297680636743e961ae3","datavalue":{"value":"Concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426108$47656D9A-3C22-4280-99F6-32C35A9B1808","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1b63416d352770f4f8c0811340e4c96e99b8865a","datavalue":{"value":{"entity-type":"item","numeric-id":28416,"id":"Q28416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426108$6BAC8E91-60D7-4CF6-A8AE-DA2D966C6C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426108$E6584623-D20B-4091-8CF3-4C151A5435EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426108$7F43C11C-31AF-4DA7-BE55-CB8AF3F401C0","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":"Q2426108$FE1D3017-4464-4E8B-AB2C-CD78E8827845","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcfa5ae5f4d3a249fd7e385decb3017aa2e39c8c","datavalue":{"value":"https://doi.org/10.1007/s10472-008-9092-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2426108$C228C848-635E-4C2B-9AA7-7C8A6A96F912","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e0cee69f9567e7fad98d3542e1a70a0d5198ee7","datavalue":{"value":"W2030005410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426108$FBA23E82-5CC0-4C45-934B-2F6DAE8A38AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df57a8b6ea029c06d43a21a5342274199359600","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426108$2AB69476-5D83-4180-8652-EB4B5FDCC857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd930ab1af2762aee3305be68b54dd73d7cb399","datavalue":{"value":{"entity-type":"item","numeric-id":2751371,"id":"Q2751371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426108$C195BDBF-7DAD-4C87-B38A-2FD376BEC656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e38e0f9c33b50b9cd944147b1131d846c324bb82","datavalue":{"value":{"entity-type":"item","numeric-id":3007257,"id":"Q3007257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426108$D337B1D6-BE80-444D-89BD-EEDEDE547771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6510d79e9ae71f181c050c6b8ef6152f261318fd","datavalue":{"value":{"entity-type":"item","numeric-id":4815032,"id":"Q4815032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426108$08DF3C98-C2CF-4532-BF90-EDFA66F5A47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa335c9d07d7e0dbed2532934dd0ccc1a6c72c6f","datavalue":{"value":{"entity-type":"item","numeric-id":5953462,"id":"Q5953462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426108$BA8DE491-76CA-42D5-BBEB-3E8772F663C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c46e958e32c96d715e70491cabb81b3b70ef6","datavalue":{"value":{"entity-type":"item","numeric-id":3801054,"id":"Q3801054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426108$E55DB8B4-0A39-4A52-802A-8E870250C336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b5ec7b36ab9f9a9396a2be7f7246c57825af23","datavalue":{"value":{"entity-type":"item","numeric-id":3742689,"id":"Q3742689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426108$A5887BC6-7BEF-4BA7-BEB3-0A6AB759C148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cba657a23f410bdd41ae1ccc661993b6dced0a2","datavalue":{"value":{"entity-type":"item","numeric-id":4800171,"id":"Q4800171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426108$DBBBD756-7C74-411D-A382-BEBEE956DC39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a8775d429d0d9477f4a02005fa2cbd0d89d7675","datavalue":{"value":"10.1007/S10472-008-9092-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426108$92B7F227-9C05-459F-B8E3-07639CAB03CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f018b8c5f7394822cc5e1275c70be7065ac05d5","datavalue":{"value":{"entity-type":"item","numeric-id":4780209,"id":"Q4780209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e257581b3b731952d32a46e7250be19398f3124","datavalue":{"value":{"amount":"+0.7629314064979553","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":"Q2426108$4F71104C-74C1-42BE-B265-E57916A30611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2efc3dd6d97f954ef910ba305ca608dc83b8aada","datavalue":{"value":{"entity-type":"item","numeric-id":4813428,"id":"Q4813428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6436506006f3a07048c81ddbfd959d966c37c2b3","datavalue":{"value":{"amount":"+0.7539762258529663","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":"Q2426108$DD650116-B8EC-4BD4-8717-5EDB655CEFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a271ef6c3abafb73500061015691b1cd9b4862b5","datavalue":{"value":{"entity-type":"item","numeric-id":4507821,"id":"Q4507821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32f2e4da087cf04012cb0de3c3f3ebcef906ae9c","datavalue":{"value":{"amount":"+0.7481613159179688","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":"Q2426108$E4D839A0-935E-4F09-8EE9-ADFA18A5D5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50bc36cac655ec5702a801e6227381c7f3ece61b","datavalue":{"value":{"entity-type":"item","numeric-id":4738192,"id":"Q4738192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"752caf1d0b1d2520737110bda75fd3076ccfd90b","datavalue":{"value":{"amount":"+0.7453936338424683","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":"Q2426108$9233E2A4-09F5-4B18-8AB5-37AA036E7354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8977dd58723d052201d616a77908f26ee82b341c","datavalue":{"value":{"entity-type":"item","numeric-id":4264234,"id":"Q4264234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d957ff8c84ec79452051e0083ff60cf6cf7edbf","datavalue":{"value":{"amount":"+0.7448667883872986","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":"Q2426108$F73D2C1D-0354-4562-9FF8-0FA82677E0DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking multi-agent systems with logic based Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_multi-agent_systems_with_logic_based_Petri_nets"}}}}}