{"entities":{"Q333329":{"pageid":335096,"ns":120,"title":"Item:Q333329","lastrevid":57179349,"modified":"2026-03-27T09:34:34Z","type":"item","id":"Q333329","labels":{"en":{"language":"en","value":"Model checking learning agent systems using Promela with embedded C code and abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6645315"}},"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":"Q333329$39D8724C-0110-4A50-B992-D6A919412009","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cc041366e551540b3b4a8be04e3fe39f9e214a3","datavalue":{"value":{"text":"Model checking learning agent systems using Promela with embedded C code and abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q333329$8560ADAA-3448-43D9-A3A5-0E12DB073236","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd2d944226466693ec213d518bf568fddb96f124","datavalue":{"value":"1348.68250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333329$79AC3801-4C5D-4C8E-AAE7-7264B128ADEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e0bf4414f92059959fb7a3b3e3ceb9cfa20b87b","datavalue":{"value":{"entity-type":"item","numeric-id":333326,"id":"Q333326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$5BE8D01B-CA5B-4C6A-B283-538649E0DCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c277aaaf49f638fdc479703bb9518ee80f408a6","datavalue":{"value":{"entity-type":"item","numeric-id":333328,"id":"Q333328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$DEAE9F50-F916-4304-BCE8-01166F730A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90bbe2ee818852467359700b37d2788503a24def","datavalue":{"value":{"entity-type":"item","numeric-id":1312994,"id":"Q1312994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$11D97521-F34E-42C8-BDF5-9BAA705F6109","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$7F4249D8-944E-4449-841C-36D984E13608","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f5c57c1b97c1eb46e36683bd00f46296ab3c1a1","datavalue":{"value":{"time":"+2016-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q333329$131A1091-D8EF-49CF-B9EE-23619AFA925A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333329$81145367-CBDC-42AE-96F9-4135C0CB2C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333329$D84ED1AD-5633-4BBD-9632-DE3EC7E9EAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333329$4D3F76AE-68FA-49E9-AA67-49A2432025C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96b1b605e810da0b92fe4cf81b288b1e25e6d5d8","datavalue":{"value":"6645315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333329$525E6FF9-2434-4D59-B7C3-0E7D8B853719","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q333329$1A97354D-C4D8-405F-A00D-38CC71DE42CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q333329$6B203674-79E0-4B1C-BABB-F85FC3873D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aef5ff3bafded397daf38f269c41cdffa1d8347d","datavalue":{"value":"agent","type":"string"},"datatype":"string"},"type":"statement","id":"Q333329$E4F45919-C719-421D-ACC0-F2E7EFDA63E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q333329$3143456A-321C-4CE7-AD46-F021F73972F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ca76faeb672415cff41bbc3ad8454e227be1fa","datavalue":{"value":"learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q333329$9FCE1E89-02F8-4A21-BDA1-03199E8C98FC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"963944645772725c14cd73bdd17efce6cd820093","datavalue":{"value":"Q59477123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333329$2388C64F-69C7-418B-866D-B7B21BECCA20","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$6F032CB7-7AF5-4430-8619-8F37D4381500","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":"Q333329$58FC1AA7-2E3D-4CF7-AB40-A4AE331230A0","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":"Q333329$F1490258-B3EA-4CB6-B96E-1E0F48E00D12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4316165cddd381539fb4d920149fc10dace813c2","datavalue":{"value":"https://doi.org/10.1007/s00165-016-0382-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q333329$DE5B4E66-8C7B-4B2F-8964-0985A11BB508","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3cb1e5e28e769e8afb7303414a7765ca7213369","datavalue":{"value":"W2416870687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333329$55E1E29C-8F16-4EF2-A40B-D83CE14FB511","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb33de39adcd013a90106b3534dea2849e02335","datavalue":{"value":{"entity-type":"item","numeric-id":4763590,"id":"Q4763590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$B98A6DA3-13E8-4021-91CD-2E534719F785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be9bd9cf386d8e91d6debf20598f3322031a3813","datavalue":{"value":{"entity-type":"item","numeric-id":4552455,"id":"Q4552455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$BF4C9654-DEF8-473E-9AF3-35D69A1AA71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3811528e3e7d7937580c2dd4bcb9a89711daebbe","datavalue":{"value":{"entity-type":"item","numeric-id":1012729,"id":"Q1012729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$896DF968-6B16-4165-BD34-42CCB58DAF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff2628b873dc09ea0638bb227d2d993d24f13d79","datavalue":{"value":{"entity-type":"item","numeric-id":5474567,"id":"Q5474567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$64197445-E91A-497A-8093-57BEEFFEDC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a3baa8248811d27c32050f307ce6287d4f551d","datavalue":{"value":{"entity-type":"item","numeric-id":947791,"id":"Q947791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$5BA5C2AC-59B9-4C2F-A9A7-890D0F0B279F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f27bec60cab4c5f987fcdc33e8b10eefe8808ef9","datavalue":{"value":{"entity-type":"item","numeric-id":2376506,"id":"Q2376506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$89D05C0D-398D-4456-81CF-0811359B6B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$C6ACADA7-4F99-4937-AE6C-2450FAA67335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99481f9dc876872ca2d108635ad429fabc0c3501","datavalue":{"value":{"entity-type":"item","numeric-id":5484596,"id":"Q5484596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$75907F9E-71A5-4010-9568-C6DA44924485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$2819BD6E-D1DE-40E4-A691-984E917B9D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab99b2da5af4719bab97db9e09b6217692ef436","datavalue":{"value":{"entity-type":"item","numeric-id":5949703,"id":"Q5949703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$115B1B32-AE8E-43E8-B55C-8907580DB6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a24b2524d8d6d47e95766596d33abecc3ac5cc","datavalue":{"value":{"entity-type":"item","numeric-id":4494387,"id":"Q4494387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$D762FA50-14E1-42AA-86AC-6FF733A55506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ce2e7a3760aa3349827dcb3ffa383dcd887b30","datavalue":{"value":{"entity-type":"item","numeric-id":4408931,"id":"Q4408931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$D704BBB4-1AAC-4E16-A24C-1E88FB6E7E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3681a2f391ed00eb1a316fa0eea8d165a094a47","datavalue":{"value":{"entity-type":"item","numeric-id":4736605,"id":"Q4736605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$0C706020-61A2-4160-86F8-9431D514AA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe51e8ca511a5bb5ee4c175e518b6004a41de45","datavalue":{"value":{"entity-type":"item","numeric-id":4736610,"id":"Q4736610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$0DCD1CB6-1356-44F3-BD36-BBFD1A4D3F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803cf9990c83dd7a1a29e64835aed882582f5e45","datavalue":{"value":{"entity-type":"item","numeric-id":4530812,"id":"Q4530812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$71FEB672-1EE4-4C93-8861-147E324823F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6aa2172bf2d1e6dd6bc76dce3b8b84b52db8cbc0","datavalue":{"value":"10.1007/S00165-016-0382-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333329$6219E144-F652-4937-945B-D882DBB6345E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597a95ba754316b2bcc6a7842f02863ab245a6e1","datavalue":{"value":{"entity-type":"item","numeric-id":2165494,"id":"Q2165494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d72dcacaf5575659a2327411b87bd6901b879596","datavalue":{"value":{"amount":"+0.7297635078430176","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":"Q333329$194D49A2-4B42-4463-8DB3-0B8E0CE391B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"144f6a02e687e5e3ff0b7db7d4912ada43ee1518","datavalue":{"value":{"entity-type":"item","numeric-id":6104810,"id":"Q6104810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"837d728e4860695f9da96f0c7683d226847958e9","datavalue":{"value":{"amount":"+0.707294762134552","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":"Q333329$524EF1FD-8395-478F-8193-D932FC316B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305601bd10e4543ee41f5a7c6bc2673dbabf52b6","datavalue":{"value":{"entity-type":"item","numeric-id":4209291,"id":"Q4209291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7273240dd455561cc9fa4dc50aba65d02308fa68","datavalue":{"value":{"amount":"+0.7031075358390808","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":"Q333329$C8F6FB83-FC56-4AE5-9E6D-AE07C15DCC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a3cf61e84f8633546e10de4135b9b29d9f1aa2","datavalue":{"value":{"amount":"+0.7029170989990234","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":"Q333329$69982D38-A1DE-48C8-B458-2E29B3BB3AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe754d483eb7fbf9c412f3bff6d683833997b041","datavalue":{"value":{"entity-type":"item","numeric-id":2767990,"id":"Q2767990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a3cf61e84f8633546e10de4135b9b29d9f1aa2","datavalue":{"value":{"amount":"+0.7029170989990234","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":"Q333329$E7270BD6-7FCA-4334-BAB8-F16B95781B89","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333329$AE531FBC-0EDA-43B9-9014-ACADCF784138","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:333329","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:333329"}}}}}