{"entities":{"Q3707385":{"pageid":5737291,"ns":120,"title":"Item:Q3707385","lastrevid":50486660,"modified":"2026-01-14T04:32:50Z","type":"item","id":"Q3707385","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3936497"}},"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":"Q3707385$B86F54C2-76EA-4923-9CF5-A28D7E656762","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39ccbe3d54aab287100bbe98b11cad1525f10048","datavalue":{"value":"0584.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707385$EF4BEB09-C3C5-4FF9-9F5E-023D70A059DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c5b3931acd01e32731554cc7603b48e342e1808","datavalue":{"value":{"entity-type":"item","numeric-id":3314975,"id":"Q3314975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3707385$489B7616-5025-45AA-BCC3-8BDF191D68DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3707385$0AFA2D88-D3B9-480E-A8A9-B15CE34D91C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707385$8514950C-E91A-4964-83A8-84CE8EC0A400","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c071b4ac9d2e601d0c256bfc14920fc122ae9efe","datavalue":{"value":"3936497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707385$EB047689-E768-4E06-B7A1-957CD6FABA73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c69f644bb533de525b868eb2d3e9b0059d51309","datavalue":{"value":"automatic prototyping of algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707385$26BFF838-8D59-468C-AE38-B7DB4AEADE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39b9fd11d5fb0847046617dd3d136e09f4fac69d","datavalue":{"value":"SRDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707385$4196AA3C-D300-4600-BBF8-CEAFA79D28B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707385$C8386DF8-3646-49D2-BFA1-74AF8B5980BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8438d7c6e02cf39ae682214a0daa26e6c6c5213f","datavalue":{"value":"recursive specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707385$410F90E4-9EEF-4AE1-9FF4-C0536C1B472D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f55bf1df682210d59e19393fa36519cec337e7","datavalue":{"value":"structural induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707385$0AE54617-B390-4066-887A-33586C1968F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707385$151EC687-6415-4C66-8E97-6A1463DA6C02","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":"Q3707385$39859BA7-1FC6-4436-9BC9-7D4C7BF510E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1892bf3d08f1878eab00869c0547eb17a42da06f","datavalue":{"value":{"entity-type":"item","numeric-id":2715823,"id":"Q2715823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9281c15122c5de7e7f75a05d2892e6e1239afaaf","datavalue":{"value":{"amount":"+0.7837811708450317","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":"Q3707385$F9C52A58-7460-461B-972B-5A1BFDD82262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceae26841445acae0036a14118fac14a212ed5fd","datavalue":{"value":{"entity-type":"item","numeric-id":3819978,"id":"Q3819978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e12bc2a98d694e56979bbdabd2aca3b7b0c0e658","datavalue":{"value":{"amount":"+0.7573481202125549","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":"Q3707385$2B5BBA69-91BA-43E1-9FE9-79B576D72252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc06282cb0fc9a525420919b18192db3c6bd865d","datavalue":{"value":{"entity-type":"item","numeric-id":3345751,"id":"Q3345751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09038fe88f4950e1dbfcd7e581c9dc78bb8e0cca","datavalue":{"value":{"amount":"+0.7524888515472412","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":"Q3707385$68395759-BEC9-4783-BFA6-C48BFE58D2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffec196239a57d473f65ac5b7119c8b72e33653f","datavalue":{"value":{"entity-type":"item","numeric-id":1187686,"id":"Q1187686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bfe33799afb176bddbca869be3c6e751346f86e","datavalue":{"value":{"amount":"+0.7471051216125488","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":"Q3707385$F53578BD-F5CF-491C-9948-FD92F05C9C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc40a49ce73995ffbcefe54604f44c431e24682e","datavalue":{"value":{"entity-type":"item","numeric-id":4692466,"id":"Q4692466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c700006136a43d77d7ab0ec97b5a2ebb4db26bf2","datavalue":{"value":{"amount":"+0.7454885244369507","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":"Q3707385$106CA071-AD73-42F7-A907-6F95A33F2C96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3707385","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3707385"}}}}}