{"entities":{"Q6166691":{"pageid":13301573,"ns":120,"title":"Item:Q6166691","lastrevid":55471510,"modified":"2026-02-17T17:10:56Z","type":"item","id":"Q6166691","labels":{"en":{"language":"en","value":"Copying safety and liveness properties of computational artefacts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7722226"}},"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":"Q6166691$523BDD78-BF7F-47BF-A08F-A47735B510BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e05fbc19dbbd4c58a5655cce1d0e597317bd0151","datavalue":{"value":{"text":"Copying safety and liveness properties of computational artefacts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6166691$C4D9DB73-1EDC-47C5-8A1E-6D23A1A880C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff2bf4980c88c80c3434610bf836491b19519db","datavalue":{"value":{"entity-type":"item","numeric-id":1697083,"id":"Q1697083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166691$3B6B2325-3A81-4C8A-A3AF-2AF2AB9D4020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ea65557eabb45fd055fd0b5947a39214a47505b","datavalue":{"value":{"entity-type":"item","numeric-id":310084,"id":"Q310084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166691$1B7A6DE6-C62A-4229-A171-9C8136AE4338","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6eaf6392c103dc7078b19f62b9d4fcfed266fe4","datavalue":{"value":{"time":"+2023-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6166691$A386CE80-19EE-44DC-96EB-A80A4B1E3C1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72a56334c40934d1aca998bb3349287d724198b8","datavalue":{"value":"https://hdl.handle.net/2434/944215","type":"string"},"datatype":"url"},"type":"statement","id":"Q6166691$2EBCD942-E100-4440-8ED4-B571032D8569","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166691$91B2C83C-DA0C-4F5F-8D0F-7EEADF3A1898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166691$1CBF9E21-99D3-489E-A1A5-055B03C573DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"208a19e0addb1382d8e1b5617fecfc4f5420fdd5","datavalue":{"value":"7722226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166691$134A42AD-51C9-4954-8FC3-DAAB6D6DB471","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45795d7e1ab3714f33a37d258f7d614cdeb68d0b","datavalue":{"value":"philosophy of computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166691$3CCC6389-54CC-4CA0-9987-15729E099498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8902e4410ef7ff2fb0c3f6edadd364b80c439c7","datavalue":{"value":"philosophy of information","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166691$CE39EB68-09BC-48E5-97FD-1E0643F50D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30d1ab4b89b219a491cc9f0a1cd0e4ddd427da29","datavalue":{"value":"artefact copy","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166691$FE9EEC60-FDB6-4BB8-9A13-1E17FC07F305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166691$F16185A0-B452-4C54-9121-D00F7CA4312B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166691$3C8C3CB0-69F6-4687-8AE4-69314DE6E56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ecbb5ba807dc314b0f032d6c5331cef55cacbe9","datavalue":{"value":"software theory change","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166691$99E405D0-6A68-4655-BDAB-DAB7CD1655EE","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":"Q6166691$6125D6A2-AEAF-4465-8FCE-328CB25E8359","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d43baf8103ac7fea425162e8b0ae2256dd90e8b","datavalue":{"value":"10.1093/LOGCOM/EXAC053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166691$BE2E5B8C-1C9E-4592-AB4E-E05D8A58D489","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":"Q6166691$2DFE04DB-BE1F-41FA-A8BC-547A25E0469B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c6bcb633faa8fcc128cb4c38213ec81ca55d11","datavalue":{"value":{"entity-type":"item","numeric-id":4612442,"id":"Q4612442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7050c15d938c386680536d69ab73faaa7ca2f6f1","datavalue":{"value":{"amount":"+0.7027686238288879","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":"Q6166691$1A27D23E-0BC1-48B2-AE37-9F8492C3FF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3595d77a050623f973e1a6a9fc667c6ee0418dcb","datavalue":{"value":{"entity-type":"item","numeric-id":3085987,"id":"Q3085987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d49a137af31568eddb2ae1d1afccc618e56e94e9","datavalue":{"value":{"amount":"+0.6936537027359009","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":"Q6166691$A81A056F-E213-4CD3-9809-EB73B61C79F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2567372ccab0053b8ac04a6c83539f1eb0df533f","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d522c092fd9d4f7e07fc01353701ebcd5bbe9f3","datavalue":{"value":{"amount":"+0.6765331625938416","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":"Q6166691$946C69D5-DC28-4D2A-8132-AB9041735F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2af226d2ad6440e379861cc1eac897701afd7903","datavalue":{"value":{"entity-type":"item","numeric-id":4964727,"id":"Q4964727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0931469f7b69bf76da00f86dbe43a6a03e15f5fa","datavalue":{"value":{"amount":"+0.6758112907409668","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":"Q6166691$879A83FB-4CC2-4015-A472-FD7C3E686645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e0a78e6a715469b7959c88759560dfb1ab2fec","datavalue":{"value":{"entity-type":"item","numeric-id":4635640,"id":"Q4635640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9041cd73ede14250513f8e9948938e5fb92d69","datavalue":{"value":{"amount":"+0.6751408576965332","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":"Q6166691$9B719AD5-0791-4E71-BC9A-F1F290C9FEC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6166691","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6166691"}}}}}