{"entities":{"Q2994494":{"pageid":3005218,"ns":120,"title":"Item:Q2994494","lastrevid":52585292,"modified":"2026-01-23T01:17:01Z","type":"item","id":"Q2994494","labels":{"en":{"language":"en","value":"Data refinement of invariant based programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6608407"}},"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":"Q2994494$839B03E4-B5C2-41BD-99A1-50BEB375D66A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61658521a4a51e0d67d8710d4409206cd0555a3d","datavalue":{"value":{"text":"Data Refinement of Invariant Based Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2994494$FFF57EA8-DA80-49C2-A7F1-C44C3669B621","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b015aa4640f49ecbb0cd28b96d068e4acb5de80","datavalue":{"value":"1342.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994494$BFAC7FA9-5FF5-4230-A702-6618CA1854DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03dd836c35062b353c773aa5bb9f8bbbab8cff00","datavalue":{"value":{"entity-type":"item","numeric-id":432147,"id":"Q432147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994494$679C7560-E839-4450-8387-9DA7E49A2106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7d76bab915fa5b11ba4114aa1f83889a977dcb6","datavalue":{"value":{"entity-type":"item","numeric-id":204599,"id":"Q204599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994494$7935EF20-53FC-4D51-A028-3AFE78F21CDB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994494$926D7F48-E46D-4A3D-A65E-22426C631542","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54b54adebb79dfabd07c0151545b3468c800875b","datavalue":{"value":{"time":"+2016-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2994494$424D4189-AF59-4738-8707-BC5EE53FDF27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994494$1596FC88-371A-4751-B16B-25D7695E26BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994494$5A04C937-73B4-4FF3-8417-2EEF316F7098","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70b0f22dcb92c0542d292010b8ef9209bcd7d54b","datavalue":{"value":"6608407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994494$D790EB70-4AB7-4B23-A073-2315A23214D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6a9e72f52baf14d87dedb3700df5d6d0d3d0434","datavalue":{"value":"invariant-based programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994494$F98076F5-BC8A-4189-B249-DA0457E30ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1657b9e302015499beb20eee5142470398e14a48","datavalue":{"value":"data refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994494$512E3771-9851-470C-AA7B-3FA2B5A97DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"033bcb9864019192358d248f1765aefb1c4f7385","datavalue":{"value":"mechanical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994494$A5DFE2F0-36FB-4BA1-9BB8-615C46F6065D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994494$1476C28C-FB81-4F72-A186-6B76948B5691","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":"Q2994494$9CC36FC6-A3E0-4F37-BC19-6CA1530BEA2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45fcfc8158eee5167a8f49e2b2e10076c067b464","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.12.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q2994494$825BF09A-6C9F-4004-A013-B236BE2E702B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48e0d330317d5f10c2b15e1b70188344ed30ff56","datavalue":{"value":"W1970406123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994494$3CAEBE34-6573-49BD-809A-347C2D820E40","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7469a14c6b3d5214a08da9b6d9960375ad8bda98","datavalue":{"value":{"entity-type":"item","numeric-id":3898009,"id":"Q3898009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994494$6F8FA889-7872-4607-AC77-28A0D770BA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994494$599BCA8C-D0B6-467A-9831-B5BF5C87A9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1176d6dc531102187fc93e4f8db95105eea855","datavalue":{"value":{"entity-type":"item","numeric-id":5944217,"id":"Q5944217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994494$D6783FD1-8E8C-4164-A17C-DABA2EB4054B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994494$8A905FBF-39A6-4B3B-9EE8-434955EE8685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a634cbc29683300650d9989a01808c0a4931ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4398780,"id":"Q4398780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994494$DDD64E6A-CAD8-4DD3-84EA-7BEB3923268F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be8c8d124a78b7bc05b7543e4a39424af55fffb","datavalue":{"value":{"entity-type":"item","numeric-id":2486585,"id":"Q2486585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994494$BF74E2A7-2E27-4E12-927F-8C14F38F9A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994494$B79C69BC-66D8-4AE1-BE29-7BFEC67A2E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b1c3fa2453c158ab62a094f5481e2295dbbd68c","datavalue":{"value":{"entity-type":"item","numeric-id":5528168,"id":"Q5528168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994494$22B1E6B7-BA22-4E42-BF04-00CAAEF5B983","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"072a78bfed9f220d3e7c55a8d9afc3cd0f88d694","datavalue":{"value":"10.1016/J.ENTCS.2009.12.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994494$8E55E285-EF4D-4355-B8EC-C513ED5A8439","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac6e70bbf8188afda314c0541daddd9c43137063","datavalue":{"value":{"entity-type":"item","numeric-id":432148,"id":"Q432148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5dc2a74325ee4129ddb677c48ca8cd77c37e93","datavalue":{"value":{"amount":"+0.960684061050415","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":"Q2994494$7589F9B7-B999-4DD1-A93F-819A30783226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb527df1e491c5b1f509797e5090cd2c7c389ce4","datavalue":{"value":{"entity-type":"item","numeric-id":1177155,"id":"Q1177155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629aaccf15c69d1bea8ad2f9f07345deae32a08c","datavalue":{"value":{"amount":"+0.7351362109184265","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":"Q2994494$4CF7ECF6-3009-420E-9333-50DFF07BE63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a0d47d9cd3dd94a04fa364cc9a84f4776fdd31","datavalue":{"value":{"entity-type":"item","numeric-id":913482,"id":"Q913482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dc326ec419bf81a6ff61535d232f45355135b50","datavalue":{"value":{"amount":"+0.7218582630157471","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":"Q2994494$ECAD9B44-9523-4C13-9580-E4416C313E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2ca11ac447b2b7d9d8d7210a01dcbdbc1ec1467","datavalue":{"value":{"entity-type":"item","numeric-id":1941869,"id":"Q1941869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"209a9b96f708f998009b636ea226514187a0a221","datavalue":{"value":{"amount":"+0.7038130164146423","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":"Q2994494$42F30319-912E-4CE3-A885-2ADEF72A2DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb8d9c26551135aed1bfaf0a93c7d9f891b1ace","datavalue":{"value":{"entity-type":"item","numeric-id":911246,"id":"Q911246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5a5c7d423364e92a276762d451a7544a9599b83","datavalue":{"value":{"amount":"+0.7032484412193298","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":"Q2994494$A8BB6206-1422-47EC-AEC6-4CC9D107D105","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2994494","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2994494"}}}}}