{"entities":{"Q706504":{"pageid":708353,"ns":120,"title":"Item:Q706504","lastrevid":48409027,"modified":"2026-01-04T15:33:54Z","type":"item","id":"Q706504","labels":{"en":{"language":"en","value":"ArcAngel: a tactic language for refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2132395"}},"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":"Q706504$7785A8E8-6A3A-4623-83BD-1D7ED9E6E841","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77740db212a57508d92947cce1f86aa743cdf200","datavalue":{"value":{"text":"ArcAngel: a tactic language for refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q706504$598AE6F1-00CC-4997-8E82-E94C6FDC48C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2397203bfcafc3b8baa48a6097d76b8751e28713","datavalue":{"value":"1093.68565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706504$B4D12AA1-0F67-4C0D-B6B9-88DEB481D19E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706504$194DEAAC-4E71-4482-96FA-29C32A48FD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"189ef02bdf1a02bbfe00844a63434a369a39330e","datavalue":{"value":{"entity-type":"item","numeric-id":333317,"id":"Q333317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706504$831DDD55-019A-4E06-9BD4-C321897A9A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706504$5AB6428B-676E-435C-9D16-A7D13DEF3709","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":"Q706504$78BB739C-0E15-4196-99D9-3D0D17534BF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"831ff43a4969733a7698b320c2210720f63950ea","datavalue":{"value":{"time":"+2005-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":"Q706504$60A1B9EA-BF98-4EF1-A8A3-25CA5DB0F8FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706504$1CDDBE5A-46AD-4A7E-A41C-5D5F550ED78F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"174033f4670c05ca50faad831f15d2860ebb6cd2","datavalue":{"value":"2132395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706504$E2ED6639-6EE6-4D99-8C8B-381D99169252","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3f210910becb27540644b96d59bca7cba92a01","datavalue":{"value":"Formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q706504$C3A07542-9A48-4910-852A-81E7F18AECB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7762c399de17c7ad7512f927278d87a2528f88ca","datavalue":{"value":"Program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q706504$F3000A49-036E-4F0C-8730-30509C396E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3e1e264648072cfba1b8f5957ac7d2e77c0264b","datavalue":{"value":"Refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q706504$883CA6DA-3E18-4EEB-96CB-1FADA239D533","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":"Q706504$8C746955-E7C2-4630-86B8-F82D0C9A52DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5942cdfd4e2ce81b190364faed1fd9a8b7eedec1","datavalue":{"value":"https://doi.org/10.1007/s00165-003-0003-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q706504$1D9E7433-22B7-4A51-BE5A-2FD5DABEF079","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a767321ef29b19dcafed31c69faa8880af67e24","datavalue":{"value":"W2041169043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706504$8338291E-8603-465E-87F1-051525F70FB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b3cda97dea4e49028ba406dadc841dbd542f503","datavalue":{"value":"10.1007/S00165-003-0003-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706504$EC722C71-2F12-4A8E-93CA-3C3726DBBC7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e8b2ddb1ca25e4ccf3d8dd0f48c21b334779530","datavalue":{"value":{"entity-type":"item","numeric-id":432151,"id":"Q432151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103c467a283278d88d75ee03599022ee4a30ecd0","datavalue":{"value":{"amount":"+0.8880470395088196","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":"Q706504$4BEF3171-D5C9-4077-81B7-5EA8019C2200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea8f6b78529fe428b5595d93b2fe768537ec811","datavalue":{"value":{"entity-type":"item","numeric-id":541214,"id":"Q541214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"205907a7ecb0d0a6f86e87c94691b7ef17f14b07","datavalue":{"value":{"amount":"+0.8203900456428528","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":"Q706504$3AF42890-81D7-49F0-9EE8-6D7FA1FCBFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d5986d85fa9101ccd2f08213c32144d6934f25a","datavalue":{"value":{"entity-type":"item","numeric-id":1815345,"id":"Q1815345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56603f0c08f357664ae295cc1fb17a02017d0cdc","datavalue":{"value":{"amount":"+0.7453506588935852","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":"Q706504$B4F8C924-25A0-49C5-9A12-88940A87C50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc7af1a657a12dc87f9b83ab25dd90841e1f2197","datavalue":{"value":{"entity-type":"item","numeric-id":1293891,"id":"Q1293891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bfed1ba3ad45ad29dd2c94fc056396305c99de6","datavalue":{"value":{"amount":"+0.7332125902175903","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":"Q706504$D5D69B12-3CD6-4B26-B886-3C06D482D3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"012c23954d4f438873067eae5f473ad4270bcc00","datavalue":{"value":{"entity-type":"item","numeric-id":4370252,"id":"Q4370252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db6a8e0b46a98595e9cc4dc95b81b47b01aa0ff","datavalue":{"value":{"amount":"+0.7318087816238403","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":"Q706504$4790AA83-7391-41B6-98CC-C02CCC4915FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:706504","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:706504"}}}}}