{"entities":{"Q1601247":{"pageid":1611987,"ns":120,"title":"Item:Q1601247","lastrevid":68012028,"modified":"2026-04-12T20:51:13Z","type":"item","id":"Q1601247","labels":{"en":{"language":"en","value":"Deep semantic links of TCSP and Object-Z: TCOZ approach."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1757467"}},"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":"Q1601247$92617FF5-7E6D-4DCE-A8D5-212B901EA9F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7339ca9211dc4a89c8c52d9dd8b1eebfece32cb0","datavalue":{"value":{"text":"Deep semantic links of TCSP and Object-Z: TCOZ approach.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1601247$BA9A746B-916C-4757-A7FF-40772EAE01D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"492c3f1ac0936a9fa63d742d536532f045cb94c9","datavalue":{"value":"1063.68603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601247$D351E5DF-8D5B-4D4D-B915-FA513AE0A07C","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":"Q1601247$3AD07B82-C85C-48FA-BA10-09FF8967D8EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1499fc920b3ce6e459673c257729080eb3a13dc","datavalue":{"value":{"time":"+2002-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1601247$BDCD34AD-B19D-4E84-9A35-F607934EF721","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601247$18BD88EE-5311-443C-B4D4-AE8662AB2D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601247$F4DBEE35-2F76-4243-B855-47FF896B7F1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81e8094881e51513e80e93cee4bb55e195ea5251","datavalue":{"value":"1757467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601247$1FE142C1-63CA-44AF-B499-35E23E348BFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4da41c8b6ea72247a4511ba36fa94230c2e6cb3","datavalue":{"value":"integrated formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601247$898B917D-37F7-4A45-BF37-39D40CC6FD83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32b05ae50da60ed8369cd3395a408d2f6f13d6be","datavalue":{"value":{"entity-type":"item","numeric-id":1125691,"id":"Q1125691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601247$77EFD09C-44D2-4D44-9BCD-AEE444408F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c058afea036303a407f9ed86b611b84df43ce2d6","datavalue":{"value":{"entity-type":"item","numeric-id":488230,"id":"Q488230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601247$57A56B43-8A0F-4AE9-B474-81540F2D7D02","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"803839ead863b13b68f006ea01f99a946ae96a04","datavalue":{"value":{"entity-type":"item","numeric-id":15914,"id":"Q15914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601247$BF7D93E6-DE1B-48DF-94BC-6FF470222D2D","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":"Q1601247$51E110AE-B78E-4DBC-B880-B993531AFE20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fac26940fc7a9667eadea834f036428947c2457","datavalue":{"value":"https://doi.org/10.1007/s001650200004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1601247$4DB26802-FEE0-4ED9-9BE4-3CDFEC63C1CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c7a9c9822f77a1eab2cd06ed98895de5c816c37","datavalue":{"value":"W1970959183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601247$11755686-EB0B-4E40-9EDA-65EE2FD05FE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02fa7b628b25bf083e2281ba01184193a82fb3d3","datavalue":{"value":"10.1007/S001650200004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601247$4C271A2A-4B84-4DB1-AC66-48C2CF0B5A7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c7e3745729b051a4159d49e2f4d7c6b3a57320","datavalue":{"value":{"entity-type":"item","numeric-id":4494239,"id":"Q4494239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb64175b36f1ab01620838f0485fa3b7f87d1a43","datavalue":{"value":{"amount":"+0.7384932041168213","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":"Q1601247$4855FAC2-5F2E-40D6-A148-CF9BB7E9C810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adbf7e1d74d8a753acbfdb8d38ed20e36591c2c7","datavalue":{"value":{"entity-type":"item","numeric-id":4503827,"id":"Q4503827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d0cfc3d1eebc32442b76564a6144ca593fee0c3","datavalue":{"value":{"amount":"+0.7223325967788696","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":"Q1601247$7769CD00-7CD5-45DB-81E9-5FA8A4DA65FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da48b184f3651f0b0672f816c6666a60de42049","datavalue":{"value":{"entity-type":"item","numeric-id":4665722,"id":"Q4665722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5674d15b604a93eb928b0cc572c60698f0db32a3","datavalue":{"value":{"amount":"+0.7221741676330566","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":"Q1601247$6338F9C2-AA3B-46EB-A22D-C179ED442C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c592cb862a9de302a586325f484def30de567e8","datavalue":{"value":{"entity-type":"item","numeric-id":4436974,"id":"Q4436974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7735000c4d7be7afda93afcc402b123507ce39d6","datavalue":{"value":{"amount":"+0.7200719714164734","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":"Q1601247$B68606A4-26D0-4C84-B9DC-BFFBAA743705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faa6d6eea27ec58f8766b8e18a4f531a1ddaca15","datavalue":{"value":{"entity-type":"item","numeric-id":1601243,"id":"Q1601243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7735000c4d7be7afda93afcc402b123507ce39d6","datavalue":{"value":{"amount":"+0.7200719714164734","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":"Q1601247$E31E1144-3A35-4F48-AF50-55470FA92932","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deep semantic links of TCSP and Object-Z: TCOZ approach.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deep_semantic_links_of_TCSP_and_Object-Z:_TCOZ_approach."}}}}}