{"entities":{"Q1817122":{"pageid":1827864,"ns":120,"title":"Item:Q1817122","lastrevid":43344792,"modified":"2025-07-24T23:07:59Z","type":"item","id":"Q1817122","labels":{"en":{"language":"en","value":"VDM specification for the tree-modification method of refutation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 952253"}},"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":"Q1817122$A7931B4F-84D7-4383-9C00-A7B5A78AC3C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5baad409510f116bcbcba89a911afcaa5560b2cb","datavalue":{"value":{"text":"VDM specification for the tree-modification method of refutation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1817122$9F69652F-8B8C-4969-B691-DEB69964D27A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"230cc5c441df257e4a27ca6d69ef1905da7165b8","datavalue":{"value":"0875.68636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817122$1139FE45-E3CC-468B-9ABB-7A8C8A9AE909","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b6c6d3f4842c63a274424998827147f8e039b49","datavalue":{"value":{"entity-type":"item","numeric-id":684632,"id":"Q684632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817122$0C83E29A-8E77-4C86-A230-0E78C7FE0E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af512b14fce2fad10eddd8bed96efdceafe78e96","datavalue":{"value":{"entity-type":"item","numeric-id":1817121,"id":"Q1817121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817122$D44A5B6B-1A1C-4990-AB0A-8BC4E61FAD79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1817122$49C16861-72E3-49BB-B814-856BD4325A6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3c5b33befbe2f43a6f5872dffca9bfd563ef1e0","datavalue":{"value":{"time":"+1997-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1817122$AE4C0568-7687-4085-BBBE-CD657DCF85EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817122$60790466-1AC9-43BB-ADF9-AD067407CD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817122$8F726C89-4CDE-4638-BB7D-E8D3F61070F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817122$90F8A797-A03D-4726-A87A-4B15E790EF24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0863f29f8df06afb2c353dd586808a233d4bd74","datavalue":{"value":"952253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1817122$5E728116-4AF2-4FE0-9C77-C5C141842449","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94d05492a0435675532bbf6e3f062cf5f6fe0849","datavalue":{"value":"VDM","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817122$CECF0404-85C7-4597-9430-CC85C46A7AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817122$A0A79E89-0FC5-4CA2-888C-453E089F5C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ff4dadbe321f0b410462007b67d0a7e4712a652","datavalue":{"value":"logical inferences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1817122$3267C72B-1A7A-47A3-9257-19EB2F8BDD89","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":"Q1817122$E9AA2CCF-48D7-4A4B-ABD5-F415E70DD647","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"420f00f058046c4352fd747de26d12d7fab8bece","datavalue":{"value":{"entity-type":"item","numeric-id":3809230,"id":"Q3809230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afef472d8cf5d8e418894bec5c7c2611b15fdbe4","datavalue":{"value":{"amount":"+0.81962824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1817122$C6E871D6-27C5-4CB3-BCA8-D26D019ABF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d138e2f2dbcc4e70744d053fb8bf2b3ba9b21dde","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"318ef11f8c108b57372c55699fbc925fd5e068a0","datavalue":{"value":{"amount":"+0.80008143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1817122$0CDFC52B-49A7-4A6E-9C32-433016579C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59267f35c650dafe313c4eaee81b2b550188f4c2","datavalue":{"value":{"entity-type":"item","numeric-id":4312477,"id":"Q4312477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d106e5ec17f798bd37ce5cb598c6e31d3c29aad0","datavalue":{"value":{"amount":"+0.7959102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1817122$747CAD82-B802-45F8-BFFE-CA328400588C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"581279f0ad28c0c70fc3a2b9c99423c9730c6526","datavalue":{"value":{"entity-type":"item","numeric-id":4296956,"id":"Q4296956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d88fcfb26a761d73d5d2cde533bdd9fcc70d9066","datavalue":{"value":{"amount":"+0.79493576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1817122$38EC2C2D-3F86-4380-ACB2-4C737705052B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757a58d3091721de51db814e8f82b6cbff1e4a99","datavalue":{"value":{"entity-type":"item","numeric-id":4820475,"id":"Q4820475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06b1de775f0ddcb22afcd42182774aba5a6c1cc5","datavalue":{"value":{"amount":"+0.7903512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1817122$559BB9D4-EA04-4EAF-83F2-2A2C037AA545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81cf26ac68810aa69216000d8be658eabc5645aa","datavalue":{"value":{"entity-type":"item","numeric-id":1327486,"id":"Q1327486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e36255b6f2cc8f52285259f7dad189a331eb1e","datavalue":{"value":{"amount":"+0.78642875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1817122$D91EBB2B-6A67-49C1-86D8-0E86DB909106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79c9f77302fb8ee021915d2437a2e73d1660fe2b","datavalue":{"value":{"entity-type":"item","numeric-id":4443210,"id":"Q4443210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a4bb4d98490808308303889b1588f33409ee248","datavalue":{"value":{"amount":"+0.786319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1817122$FD3EF52D-C381-4E31-9F74-6FDA582A0DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6f313760235304909a3bad833e9d156b8572b8b","datavalue":{"value":{"entity-type":"item","numeric-id":2232285,"id":"Q2232285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823a0ce7fba2534be52fd71be8bff22e3faf64ea","datavalue":{"value":{"amount":"+0.78372014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1817122$8E4ADB17-6290-4966-95A5-856858AF9642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f690ca75b153436cb4882a81cc94f3080c327a83","datavalue":{"value":{"entity-type":"item","numeric-id":1805402,"id":"Q1805402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd8e23ea97469a354c71e6257d7eaf5e2f8a8aa3","datavalue":{"value":{"amount":"+0.78262866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1817122$1B21D4B6-E3D6-4E51-BBBD-5244B2D56EAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1817122","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1817122"}}}}}