{"entities":{"Q3103983":{"pageid":3114699,"ns":120,"title":"Item:Q3103983","lastrevid":51386654,"modified":"2026-01-18T01:00:41Z","type":"item","id":"Q3103983","labels":{"en":{"language":"en","value":"Verifying social expectations by model checking truncated paths"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5989567"}},"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":"Q3103983$D9B8FA7B-CADC-430D-8D26-19305A2EA22F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3aa7d24c7e0e73cdc6bfca628b16b59014391000","datavalue":{"value":{"text":"Verifying social expectations by model checking truncated paths","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3103983$9FED4CFC-554C-4D50-A399-DBA707A81A37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed13837e5a8b53e3e04c500aaa507e2ddbf16fec","datavalue":{"value":"1228.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103983$CD546DC5-7BAC-46A7-9AFA-07608C0DC67E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47b9e7570bca3c125b070a9fabf99b5525c89e02","datavalue":{"value":{"entity-type":"item","numeric-id":2921076,"id":"Q2921076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3103983$240D5A0B-E354-430F-ACEA-E37EBDEC054B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab15b7afeb6b28893f1e3c50b984feedf04bf804","datavalue":{"value":{"entity-type":"item","numeric-id":702107,"id":"Q702107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3103983$E2EA5764-97EE-4789-A9FA-BDFF07D7648E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e7c33876f49da64580f033b95b71f550b669c2d","datavalue":{"value":{"time":"+2011-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3103983$3478CA8A-3AF7-47EE-AE8E-DC10068358A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e56ec0dd31a84d479ec387decfdabd97e467d67b","datavalue":{"value":"http://hdl.handle.net/10523/1240","type":"string"},"datatype":"url"},"type":"statement","id":"Q3103983$95C02C9B-8B7C-418E-8C5C-0114B360CF9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103983$853CE46B-B8B3-4C2B-9795-2BA84424736C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103983$3753ACBF-DAE4-464E-B46C-E389A58C83F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103983$3B87B8BF-7CFA-4B0D-9E9B-81C0CE73C291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103983$9A65FC4B-F41A-4384-9013-3F56AE02697F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df35895e6f5514e72e34c752bc4a300ae9bf7c24","datavalue":{"value":"91D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103983$AAC87D96-35FE-4384-BF59-7C87C3F520DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a45dd9f04a24b701627366254f78cba290160e63","datavalue":{"value":"5989567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103983$C5D5616E-0846-4B88-89B4-3DD268D18B8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd1e53d344eb4e2bf0593da22cd33303c4ae1bad","datavalue":{"value":"social expectations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3103983$2B4D9A5A-11BF-49D4-A7FF-076CF58D1FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3103983$6E1BA21B-5FCA-45CB-B4FF-707E0BF71EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3103983$A0A73B90-B4EF-4237-A5B5-1E7E7F4FBE90","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":"Q3103983$A9006D77-8437-43F6-8FE0-BB31B94593F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1326dc576d4cca0d18b129c342248a8c9936a978","datavalue":{"value":"W2133800445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103983$472BA1E9-0C92-416C-A742-15B7307C7346","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9fe4fdc0ff6e5fefae6f2b4d1183a4b3410257c","datavalue":{"value":"10.1093/LOGCOM/EXQ055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3103983$8C3D4E2C-FE61-4DAA-88A5-318EE07C1A74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3103983$9BA1662E-E387-4132-BC11-83B6E9283AFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64fadbb171a557c7c8ca0356445e82c2fd030bc3","datavalue":{"value":{"entity-type":"item","numeric-id":5701517,"id":"Q5701517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa12e051c9897e624b3f4298d140ed7760589ca","datavalue":{"value":{"amount":"+0.7115346193313599","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":"Q3103983$139DF261-173D-4E2B-AB92-A54EF303A182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f12f6b0405060fd10e80f8bdcc40430290921ce","datavalue":{"value":{"entity-type":"item","numeric-id":5423887,"id":"Q5423887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4efe20de94fdf065f3a68df7648c79b901a38e23","datavalue":{"value":{"amount":"+0.7108553051948547","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":"Q3103983$CA77C6E9-8FA3-4B8C-AC3A-AA188AEB1626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac6c848ebe5e5fc6c152dcf63b1a2089ef35c888","datavalue":{"value":{"entity-type":"item","numeric-id":5901577,"id":"Q5901577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d479aca33aaabe040fea8df65e6fd35554ad35","datavalue":{"value":{"amount":"+0.6912544965744019","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":"Q3103983$96F0EFEA-2914-4530-B088-01693718A8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef94c15ce14afdcc6032c8bc43cf28919e2b73e7","datavalue":{"value":{"entity-type":"item","numeric-id":5040701,"id":"Q5040701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7dd1cce66de4adea479d5f1e8d5b959886ada46","datavalue":{"value":{"amount":"+0.679153561592102","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":"Q3103983$0CE80136-42DA-44A0-913A-505E3A5E14A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f98d4e9d6154c950e869a09f1e80853460e631","datavalue":{"value":{"entity-type":"item","numeric-id":4583952,"id":"Q4583952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e1cca634e84b53febfbda9a15ea7b2afe66dedc","datavalue":{"value":{"amount":"+0.6786264181137085","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":"Q3103983$825E7610-D6A1-4F76-814D-72E4EBCFC848","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3103983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3103983"}}}}}