{"entities":{"Q4621163":{"pageid":6650746,"ns":120,"title":"Item:Q4621163","lastrevid":53349932,"modified":"2026-01-24T19:12:19Z","type":"item","id":"Q4621163","labels":{"en":{"language":"en","value":"Standard type soundness for agents and artifacts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7020161"}},"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":"Q4621163$24887AD3-D72A-486F-A78B-2932D094782E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3787fa167200668cc29a8ea92708ddeee596d38c","datavalue":{"value":{"text":"Standard Type Soundness for Agents and Artifacts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4621163$6FA7C2B4-911B-46A7-AA85-FCDF980F2F98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7980c47bcf4af7aa87ee6c5979c08b400ffaeeff","datavalue":{"value":"1424.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621163$0BFDEDAD-BF2E-4A77-844B-B674DB2EAA87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48a1da08e474974635fa5a301d83bb44b7334e1d","datavalue":{"value":"10.7561/SACS.2012.2.267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621163$1650E7F4-82C9-4685-845B-ED25914D4E25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22141819ed6ddc6c391802e000d0404fc62d4317","datavalue":{"value":{"entity-type":"item","numeric-id":235603,"id":"Q235603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621163$5BBAC30E-2608-43B7-A166-FD7D4D3A2EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2f45b23775d9b9e11912244a38aea5f4e1129af","datavalue":{"value":{"entity-type":"item","numeric-id":235604,"id":"Q235604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621163$C9B4E801-A759-4313-936E-4BA1BC99485F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a4d56867916463fbf5f6091cff6441402db038e","datavalue":{"value":{"entity-type":"item","numeric-id":608355,"id":"Q608355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621163$2F28D23D-5F66-41BA-B07C-EA76C98C4C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc2bbf4633591260150458ee8cdda2c5efba20ee","datavalue":{"value":{"entity-type":"item","numeric-id":608356,"id":"Q608356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621163$9405290D-3F78-4410-968F-CEBF6D19128D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621163$D12F854F-EFFF-4C84-98E6-0AA21232218A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-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":"Q4621163$26C316DF-6AF4-4838-A5F2-43FC6343B090","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621163$BE254F38-A384-4C70-934E-93A2CE1EAC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621163$1421EF85-84E9-49F7-A4C8-31CE8A734856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621163$E910AD57-AEE5-48CC-9A4A-450C54205C8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59738947d8dd2d54a580f410dbbf96bfeba02811","datavalue":{"value":"7020161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621163$D11327CB-D7C7-44A9-A865-8770434E8413","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621163$B30FDB42-19E4-469B-8AF4-DB26C9304C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621163$B4532F71-4A14-415F-9883-73F2EFF7D5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621163$CAF3459B-C1C0-4550-8B1B-8182B5F76A99","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a7ce4363aef4cd3ff3fe74ec2d206b653fdd2fef","datavalue":{"value":"Q58194457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621163$0B4CA5B1-A5F8-49FF-9294-8CBE2D232522","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":"Q4621163$45D30855-4CF3-4204-8E84-C8D43AF62818","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6b88cfc227cf59659f79be8a56605e1606a49d","datavalue":{"value":{"entity-type":"item","numeric-id":2866321,"id":"Q2866321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce49f4a1563f72467fec4c2c68c3000fd4444bd","datavalue":{"value":{"amount":"+0.7147310972213745","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":"Q4621163$7A266006-DE7E-4CBA-A8CB-5F0D77A28BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"686e847a401f3ad8c793c7578c2ea552d248ab02","datavalue":{"value":{"entity-type":"item","numeric-id":4536624,"id":"Q4536624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b078e0cd08d0f8c8aa6d0c3d6cef7be3b5279f29","datavalue":{"value":{"amount":"+0.6741361618041992","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":"Q4621163$48C0AEAA-588A-4603-A725-F9C384DF2408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"943313f74292936c7c2a1c9ceb54993fcdbdf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":2989002,"id":"Q2989002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e75c8230c41fcdb2b508fdb4403bcb77f68a112d","datavalue":{"value":{"amount":"+0.6643038988113403","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":"Q4621163$C5DF75CC-84DA-4A85-A550-E859C76C05FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44716c923e6681fa17a3b97b0a523e30c73fe286","datavalue":{"value":{"entity-type":"item","numeric-id":4209286,"id":"Q4209286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ce0334c89e4f80877f354be8fe7f458157ab02","datavalue":{"value":{"amount":"+0.6560689806938171","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":"Q4621163$C1F1602F-450C-408A-867E-62D6BE41D73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93faaa9962d10c14d4161abd3ffbcd421cf540b9","datavalue":{"value":{"entity-type":"item","numeric-id":2925412,"id":"Q2925412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb8cdd42bfc698fc3b03193c63394ffdcb9632f","datavalue":{"value":{"amount":"+0.6549780368804932","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":"Q4621163$91D52100-70B5-46B0-82EA-10DF24EED273","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4621163","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4621163"}}}}}