{"entities":{"Q6586529":{"pageid":14197685,"ns":120,"title":"Item:Q6586529","lastrevid":55725889,"modified":"2026-02-17T21:45:25Z","type":"item","id":"Q6586529","labels":{"en":{"language":"en","value":"Integrating testing and interactive theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7895637"}},"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":"Q6586529$DA5DC542-B9EF-4E80-BF97-8017E4467E1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ed48ff8fb3b77d028b4b6ec7d69a5b63fce1cc1","datavalue":{"value":{"text":"Integrating testing and interactive theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6586529$7848E46B-AF98-40CF-BF0A-8DC05E918F1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80ebd7fcf66bbb8147de19118115b1596636cbfa","datavalue":{"value":"1542.68209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586529$F4392EFE-405F-4C69-841B-B4E0CDF3E9BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ba3468e5364d162a8e8f922207b171536fb96cd","datavalue":{"value":"10.4204/eptcs.70.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586529$E8A7E899-C662-4C78-8AEB-BD9C573C3EA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be9924a236eb2dba629918cc14b9caf078368acc","datavalue":{"value":{"entity-type":"item","numeric-id":3000660,"id":"Q3000660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586529$1C8134F1-814B-466C-8142-2AAE97DA2ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3524b9c32b1166213486322dd60fbb6b441c057","datavalue":{"value":{"entity-type":"item","numeric-id":2867931,"id":"Q2867931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586529$A4C999D6-9812-4E23-9E94-1316639F131E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6bbab2ea230ef82cf7d72bee404dd827d5aaeed","datavalue":{"value":{"entity-type":"item","numeric-id":230814,"id":"Q230814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586529$F3D6DF8A-11A0-4EC7-A5B9-12A66311382C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ef5bce62b88cfecff16603e8667fcc383b0d99","datavalue":{"value":{"entity-type":"item","numeric-id":479822,"id":"Q479822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586529$FE5DCD56-5C16-4723-8C20-703F8C62823A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6586529$D7D36F2C-9315-4441-B154-BCEE3C9ECE1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586529$69C22056-E9BD-43E5-933C-78B74E2F23E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e08844a8a00c23ba77d0e42e841d1bc5f58e0819","datavalue":{"value":"7895637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586529$8CB7F7CE-D39A-4175-9141-1D77DDD349A8","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":"Q6586529$8EA33C45-E194-4662-9D25-A075F1DEF9D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586529$77F6A6AA-38DE-4FCC-815D-861F7196DBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d118995af633adbe825b08e17c34663044d47f9","datavalue":{"value":{"entity-type":"item","numeric-id":5710649,"id":"Q5710649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586529$D50613C9-3E66-49D0-9322-B6F7C8DCCB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee69d695729bbe9af3918ad6b0b3476c96ab2202","datavalue":{"value":{"entity-type":"item","numeric-id":5458812,"id":"Q5458812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586529$8F78CFE6-F549-4556-9216-1B78B356F3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ab3e683fcf1f4589adbbb54eed5465c20ce3fa","datavalue":{"value":{"entity-type":"item","numeric-id":2867932,"id":"Q2867932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586529$DD4870FD-765F-44BA-93CC-E062F404F960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077ff53ae2b2205b555092a4a22f48106572ae4e","datavalue":{"value":{"entity-type":"item","numeric-id":5096726,"id":"Q5096726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586529$8B6B7571-73B3-4307-A8BF-F6690FA3B75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8498259e469ea5d47734eef03d7e9f79eab16c0","datavalue":{"value":{"entity-type":"item","numeric-id":877828,"id":"Q877828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586529$09604B8D-E163-4EC1-ACC3-97DE7B963BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a71712455a619c09bf3f52fa45ff271444532140","datavalue":{"value":{"entity-type":"item","numeric-id":5756741,"id":"Q5756741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586529$4BDD0491-80D6-4093-BF0D-46E7FFB720CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56d606835397ced889225aa24646e03238343394","datavalue":{"value":{"entity-type":"item","numeric-id":3000661,"id":"Q3000661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c987da848d4d3c821ec00b9a2d72609ea1b19e1e","datavalue":{"value":{"amount":"+0.7837064862251282","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":"Q6586529$DC9DCB48-78BF-4A44-A73B-74DD225D519B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8db2bb10ecc705215cdfbf0270a38f2d76925583","datavalue":{"value":{"entity-type":"item","numeric-id":470025,"id":"Q470025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f6adf57a6269a2f7cf8eda6322a238b5095f40","datavalue":{"value":{"amount":"+0.7441905736923218","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":"Q6586529$ABAE5F4E-3E00-44DB-819C-AFD728FFAB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d31ac5b611e1dc394bc6dbb9071cf4d1998a3862","datavalue":{"value":{"entity-type":"item","numeric-id":4524769,"id":"Q4524769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abdce5ff8ed1dc19faf0c5ad51fc9742b446b2d","datavalue":{"value":{"amount":"+0.7435790300369263","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":"Q6586529$8E6892B7-3D94-45FE-A31E-976829311F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cbff27cd6dc88db32992a568d5380594e729c3e","datavalue":{"value":{"entity-type":"item","numeric-id":2891447,"id":"Q2891447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f47553b55ffdb91859e461edbf09231f7e2c5b0","datavalue":{"value":{"amount":"+0.7363492846488953","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":"Q6586529$622E4E51-8ACE-46AE-A3FF-6562ED888AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28d5a8b545b5823d435e955696d0052fff4439c3","datavalue":{"value":{"entity-type":"item","numeric-id":2867932,"id":"Q2867932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf56e17a4306144501756fd1af044126f366ca0","datavalue":{"value":{"amount":"+0.725787878036499","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":"Q6586529$23FD670D-EAB3-4D84-808D-08DA26949720","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6586529","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6586529"}}}}}