{"entities":{"Q3709866":{"pageid":5739772,"ns":120,"title":"Item:Q3709866","lastrevid":50524574,"modified":"2026-01-14T07:12:58Z","type":"item","id":"Q3709866","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3938540"}},"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":"Q3709866$A0724F5E-221D-411A-80EB-1659A4A1702B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb4d955d8025577826ec8a208de8047e81fd0b91","datavalue":{"value":"0585.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709866$183EA4DD-65B6-46C1-8C57-3B6A34ED20C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"790d1912276399515eed47884105e4d744ff3960","datavalue":{"value":{"entity-type":"item","numeric-id":662599,"id":"Q662599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3709866$1730202F-1B8C-4F9F-9C0E-5B3BD31C66D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d6480161792098e32949425ead8570d90a9967f","datavalue":{"value":{"entity-type":"item","numeric-id":671499,"id":"Q671499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3709866$6C0AFFFA-4F7C-48E8-8156-E7A052B389B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0780c10b7b2f39c3a70c06dcbfe7b2d4edd10320","datavalue":{"value":{"entity-type":"item","numeric-id":315306,"id":"Q315306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3709866$3441BC3F-40F1-413B-87E4-B8CB96E5B216","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3709866$D00F4BA8-3837-4F52-B1BA-DBDA4BE52856","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709866$F5790A7F-2321-4468-AF25-226ACA7C790D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709866$7B0E8CCD-827A-4E6B-AC10-C79B2D35B5CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6513902c0d624ddf908a1cdd418464ecc8c7a8e7","datavalue":{"value":"3938540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3709866$F07143D6-DBE3-48E7-A3D1-73E051E24EC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709866$7AF9813B-925A-4704-A1C1-9ABC0E75A4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae62dfc413c2dca91e72220bbeee15f19e0dc2cd","datavalue":{"value":"implementation of abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709866$6C994B60-5AF8-4AD6-ACF6-99535A42D255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20f77172978f8da45d11681f8288dd3fdf1a1985","datavalue":{"value":"sufficient completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709866$73FBDF14-0C34-400A-9444-F58465A8889D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba8fd0c8b269dd309f5382b2e6156dbb8dc8c30e","datavalue":{"value":"hierarchical consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709866$44C7723E-B248-493C-B19C-4319A98A9156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a366687df2fcc42fcc5ed4cbadd7a7723cba1","datavalue":{"value":"correctness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709866$6963943D-0A3E-407D-8B29-DA3A8CFEFFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709866$9D8A8970-688C-47F7-97C7-7A94E1073923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2fff28d71cd27f12d1cf9620a5df69d4f89c622","datavalue":{"value":"program development by stepwise refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3709866$D20CE5D6-0E0B-41D2-86E2-BD85C61C24F5","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":"Q3709866$5197958B-1EF1-44D4-B433-23DC7728CD76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118aa8d5a3d1bf7bcd3b855c5cf661a63df8d4f2","datavalue":{"value":{"entity-type":"item","numeric-id":1119388,"id":"Q1119388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3b38158cd1478871fa416661c65f7a37612cf8","datavalue":{"value":{"amount":"+0.8729970455169678","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":"Q3709866$97BBA3C9-1403-4957-AA52-457F9BB0D168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf36dbe354b88a561875e0ba50fa105f56be3e79","datavalue":{"value":{"entity-type":"item","numeric-id":3805883,"id":"Q3805883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"680cc3379a11a38a598aa1d2800f2643f6adf5b6","datavalue":{"value":{"amount":"+0.8708246350288391","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":"Q3709866$DDED3B56-2A1E-4FE2-A27C-4D808EA5DC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f034a101acada3934d653956c6ddaf0cb1000961","datavalue":{"value":{"entity-type":"item","numeric-id":3677152,"id":"Q3677152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4dec414c49ca5cfefa57b1164e8e4f058c9481e","datavalue":{"value":{"amount":"+0.8116573691368103","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":"Q3709866$4A357879-F820-4007-A4C4-9A53ED6745FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be2b9bc247dee9644e1cbeeeef502eff1d521aa","datavalue":{"value":{"entity-type":"item","numeric-id":1089793,"id":"Q1089793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6de6da436ef7ac4d37655e86b1073455a34ebf2","datavalue":{"value":{"amount":"+0.807386577129364","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":"Q3709866$0A9EAB79-334D-4BB8-AB8E-40A915620E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aca8f149fe80e2452f1b82d543446abdc871558","datavalue":{"value":{"entity-type":"item","numeric-id":4882492,"id":"Q4882492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f3b13bac3c90800579b1fb7a17348298e04a12e","datavalue":{"value":{"amount":"+0.7796222567558289","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":"Q3709866$5C2A4A6F-13A5-451E-9BAA-489726BA765B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3709866","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3709866"}}}}}