{"entities":{"Q4414739":{"pageid":6444338,"ns":120,"title":"Item:Q4414739","lastrevid":41790628,"modified":"2025-05-08T09:25:53Z","type":"item","id":"Q4414739","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1953286"}},"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":"Q4414739$AEAB93D7-DFBD-4DB1-A41A-B4CFD3BF342E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9371eef927d41f0add55a73121e75790c06b4a91","datavalue":{"value":"1026.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4414739$6A10F360-70D1-45CA-9A26-B2832A4A5B33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f18d6b5c094a5b54491448ffca180723301eb8f","datavalue":{"value":{"entity-type":"item","numeric-id":418180,"id":"Q418180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4414739$FBC4D4A2-6F3A-4160-BADA-516EF256CF81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e51bd21826af75eacea1454cc73c79283c7b8115","datavalue":{"value":{"time":"+2003-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4414739$1205AEB3-FEA6-4CF1-8A03-EBFA01FCC7BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90a88efca6722f0811b1eb2d9baf31fc18e41733","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2566/25660379.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4414739$45B630C1-7C4C-450B-BAB4-F8515EA243CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4414739$209A673B-6BB2-4A89-A5AB-C4CA42E15B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4414739$434229D4-C571-4008-93B6-C254D9B4AB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4414739$9D1C7B43-DFA3-4DBE-976C-4C27C2EF8F1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53e7c3ba72a6032bb44b60e28a95e429731fc264","datavalue":{"value":"1953286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4414739$6FF5196E-672A-4867-857B-5983004F3C3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4414739$5F8906BE-7155-4B6A-BB99-9A173B318F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6748f7d5a6bb4d607141f7a9b9ede168c3b1757","datavalue":{"value":"well-quasi orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q4414739$8C571FC0-3A0E-4CFD-9FBE-ADBBD1359720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4414739$1FD16C93-1F9E-49CC-926E-FFB83D761873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"362fc18c1c5591f719596e5567050cce85975278","datavalue":{"value":"specialisation and transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4414739$C7F31ED0-A82B-4919-A96F-87AC9882BE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4414739$ABCEC84E-A62D-435F-9365-81D8CC2B14B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4414739$6BCDCE58-FE2F-439A-A6EE-2FC6C32D6809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"329d09641862ba8331cecdfb9962e139d99ecf56","datavalue":{"value":"metaprogramming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4414739$87A70118-A8F4-4699-A2D8-481E0B119B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe171f8989899c407b82c12d867ff8af877f7a5c","datavalue":{"value":"infinite model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4414739$7B42AF33-E558-41F3-9CCB-84A974B89435","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91dd7e13f71e3e62484b361def521e363c006e6b","datavalue":{"value":{"entity-type":"item","numeric-id":16380,"id":"Q16380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4414739$0DCC92AA-58CC-49D9-B7C5-889A4ECDB29F","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":"Q4414739$B866639F-66D2-4FA1-81D3-E2EB4BA3B5F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3afaa1d9e192a07ad4baedffba163d0eab9820d8","datavalue":{"value":{"entity-type":"item","numeric-id":989516,"id":"Q989516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b07324d5a37e4cda73e48b228a58743c2941bb","datavalue":{"value":{"amount":"+0.8774561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4414739$A7E7EC3F-D04B-404D-BF5C-63D94578AD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272064ca07f2eacbc661a4a924c0b30545c9d38d","datavalue":{"value":{"entity-type":"item","numeric-id":5504591,"id":"Q5504591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74f5a42c8aa4257562f3392e784c258612d2882","datavalue":{"value":{"amount":"+0.8370303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4414739$3B15648D-1B51-4833-80B2-0FFFBC7FD116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc1a4cfc636b88115170b5366dc79ad53124a62a","datavalue":{"value":{"entity-type":"item","numeric-id":2058967,"id":"Q2058967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e173b2c6c40f4e23dfb5d48393bc504c79b8403e","datavalue":{"value":{"amount":"+0.7975606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4414739$F0904297-A7DF-4F33-AD5C-A1141BF2E4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa3f9c76c85a5a368f78154cda46d258d729299","datavalue":{"value":{"entity-type":"item","numeric-id":2433211,"id":"Q2433211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"911adeb82602a3b60eab8e6afabc1eab11e875a5","datavalue":{"value":{"amount":"+0.7965157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4414739$7AA94207-D9E0-4277-A5F4-5B611B46411D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4533bf506897209f8c38451295f41d6d4bdb3eb5","datavalue":{"value":{"entity-type":"item","numeric-id":5945290,"id":"Q5945290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfcffd4b8bea62df9f395e44c647c4f28b9e5d48","datavalue":{"value":{"amount":"+0.7960463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4414739$ADFC0063-1AFA-4C62-ABA4-9F86A5AB06C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d89b3130f48f2a3955d9b721b5463f25f4f6bbc2","datavalue":{"value":{"entity-type":"item","numeric-id":1930157,"id":"Q1930157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93987a98aeb4b2fd7aa2739b8ef5ae4c785b240e","datavalue":{"value":{"amount":"+0.7960441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4414739$61198850-DFED-49A1-A68D-DC67E96FC366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6625ff5eed27ee537d0b42161838710d68079fc8","datavalue":{"value":{"entity-type":"item","numeric-id":539162,"id":"Q539162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f7eec8d57fdf338d6daaaed09c392654694890","datavalue":{"value":{"amount":"+0.7948736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4414739$E6999162-0900-4E2A-B250-AB2EB33047CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a13dc7f22145c3ee7d01646b1b7659ece94a963","datavalue":{"value":{"entity-type":"item","numeric-id":2287903,"id":"Q2287903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bdc309f25bc0641a73b120b8ebb09ad8b79b94f","datavalue":{"value":{"amount":"+0.79048115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4414739$E3351DB9-C888-405D-A697-BFC2175309F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26ef8e6121ca378f16b8acc9f5020c2b9ea808a","datavalue":{"value":{"entity-type":"item","numeric-id":4412134,"id":"Q4412134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5079f78e279d50eaeb2381c3da12ea35c7a9b2d3","datavalue":{"value":{"amount":"+0.7896581","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4414739$81148331-ED25-440F-BDED-FB2C83C8BFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d387f26b48a08a43d7f59821f9943e5636b863d","datavalue":{"value":{"entity-type":"item","numeric-id":4561483,"id":"Q4561483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4de739495bbb8298001d3e1d47f76a4c75be02b","datavalue":{"value":{"amount":"+0.7885508","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4414739$370B22FB-4C9B-402B-96E7-FACF1AED6FC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4414739","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4414739"}}}}}