{"entities":{"Q706515":{"pageid":708364,"ns":120,"title":"Item:Q706515","lastrevid":63677523,"modified":"2026-04-11T14:48:06Z","type":"item","id":"Q706515","labels":{"en":{"language":"en","value":"Exploring tabular verification and refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2132402"}},"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":"Q706515$46D2E205-87F8-49A6-9D6B-09741648CFB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c33a63d5b886305dd40f600cbb074281590b22b","datavalue":{"value":{"text":"Exploring tabular verification and refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q706515$55A1443B-A853-4EB4-A52E-EEBE7A8CDEB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03a07730ce74e341f4b87fd51b89b9588c85430c","datavalue":{"value":"1093.68566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706515$83B465C1-45E9-4DBD-BC0F-57F30735E6EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf12918d2cd53d62a4016b87062f1f8d045787a4","datavalue":{"value":{"entity-type":"item","numeric-id":706514,"id":"Q706514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706515$BA258ACA-3B71-4526-8027-27783DECECAD","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":"Q706515$24F08DF1-C254-46DD-B413-822C796D6E0C","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":"Q706515$2506182E-610A-4FA5-AD55-C30A92C8BFC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706515$9AE02F6A-32F1-4023-9B68-6F334451488C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd4406bbaaff170bccc13c2be0d9a500a5449787","datavalue":{"value":"2132402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706515$E890D3B5-F90F-4E8E-B898-2B70B13A024A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0991441c70d8fa144c6ed3ae0c8cdc9b88690cdb","datavalue":{"value":"Program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q706515$E8C2EA00-54A1-4356-BF57-50323630DCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7762c399de17c7ad7512f927278d87a2528f88ca","datavalue":{"value":"Program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q706515$BA2041EA-1D04-4333-91EB-FE68B1466345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58087a1da1e81534fe07a51543c830748c9ca3b6","datavalue":{"value":"Program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q706515$6CF05754-755C-4F92-8523-6FB378969CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f73b07bb879859d988686978daf255cab02dcce","datavalue":{"value":"Tabular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q706515$05D9C053-0E87-4E13-B19E-B694577151F5","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":"Q706515$75B16DCD-803A-4A41-A850-28587D3C0AD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89eee51c8be0282322f59ddb9b87b71967e53c77","datavalue":{"value":"https://doi.org/10.1007/s00165-003-0010-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q706515$57064C3C-CE27-46D9-BAD0-70C0FCD8C31F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"472b8c8f643fd5b454250a3bc0f2942cfbc91a3b","datavalue":{"value":"W2028754496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706515$1D7E94EF-D341-4A4B-A3EF-4B923F5FA03F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e3502ee5346dc7da1bc110893b6fa089a349628","datavalue":{"value":"10.1007/S00165-003-0010-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706515$DE0BD36D-A246-4FD3-869C-7AEA92DA1ED6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806c7380a994add323dfc84886521ffff5ec7372","datavalue":{"value":{"entity-type":"item","numeric-id":2844825,"id":"Q2844825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8966a90a2f34e5abb8314f289c5b85538765c957","datavalue":{"value":{"amount":"+0.9393662214279176","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":"Q706515$24D96BF3-4273-43EC-873E-B4D151E88759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d50c374d1f65eb892f148b7b695064fa676bd83","datavalue":{"value":{"entity-type":"item","numeric-id":5475455,"id":"Q5475455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e517b815b72ec2fa723753571dc145cb9fb1ee1","datavalue":{"value":{"amount":"+0.7852529287338257","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":"Q706515$3EBC2C0B-F2A0-476A-AB8E-F0D8A02CF14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55a24d96cfb978642af3f00a838317a5c1f236ed","datavalue":{"value":{"entity-type":"item","numeric-id":2909625,"id":"Q2909625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1276e2c126d97021e15fd47a0dc98bd302f76ee","datavalue":{"value":{"amount":"+0.7628853917121887","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":"Q706515$60F5BF45-C9BA-46AB-9C13-3238ADC3D96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed79283185ac02a1934e8bf5b8dce24a7818259","datavalue":{"value":{"entity-type":"item","numeric-id":4329260,"id":"Q4329260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b04713657d74bb36029a7dbd3b408ffcd670999","datavalue":{"value":{"amount":"+0.7529420852661133","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":"Q706515$BB5708F5-9B4D-4111-8C36-E6DF19D7EF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ced4e5ddc7c3e8487117141518c856f6ea597038","datavalue":{"value":{"entity-type":"item","numeric-id":5499195,"id":"Q5499195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ae51bdae57e644cbad6a9e88ef880567c476a9","datavalue":{"value":{"amount":"+0.7416328191757202","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":"Q706515$8683F85C-D98B-4A4F-B4A7-AAA24FA66C17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exploring tabular verification and refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exploring_tabular_verification_and_refinement"}}}}}