{"entities":{"Q4002242":{"pageid":6032067,"ns":120,"title":"Item:Q4002242","lastrevid":55153723,"modified":"2026-02-04T04:55:32Z","type":"item","id":"Q4002242","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 51865"}},"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":"Q4002242$C5E6B2F2-12AA-43B7-B976-F2AFAB6FAD20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0618f881174facf3bb7fb303a10e6119fb0175ed","datavalue":{"value":"0745.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002242$FF71440D-BD7D-4CE3-9075-24B787C78C00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a36a1bb338826b5fff6c870b4eb6d68a03b885b9","datavalue":{"value":{"time":"+1992-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4002242$EF28F9F4-A549-4F06-9A63-1FD62DC44C14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002242$09483A80-A5B1-4895-A8C8-FF39B4E8CC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002242$A982AA57-DAE1-4CDE-8BEC-B6AB2FCC727B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002242$812C5806-FAAA-4189-94AF-38E90A041AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002242$877518E8-9AC9-4C11-A4FA-71A310592D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002242$184D1E01-E960-411A-999A-E729AED7D390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002242$51A9BBAF-0E20-45A8-99FA-A5BC0A9421B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002242$D298E505-62A8-46AA-9CC6-AE3473D7B101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002242$9967D08C-0F85-4D84-B49E-12C0B90104AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002242$EB899DB8-A0A1-493B-9BDD-2A78CA49433C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002242$67443280-AFBA-4FFB-8DF4-3B88BA1673CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002242$18DF1879-2D6A-47ED-B00B-936B40DBAA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002242$DF57CBFA-3BD0-4C37-A29E-3D7DDE94B1F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8da91396a6c5132e8fc47dce5f835d5c7ba7edd8","datavalue":{"value":"51865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002242$86A43CA2-F731-4549-871C-CB5DD8D1C048","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e7fc9ad78426b4687c3505f138742febd0e11b3","datavalue":{"value":"Marktoberdorf (FRG)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002242$E3987427-2418-4928-9F77-635D9F2EB2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002242$952AF469-B916-4734-A361-ACED20A8D44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f15c95159ad2a95a93ba3d2ad93c88cf6c351743","datavalue":{"value":"Algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002242$666C4BE9-6F96-479D-B1C1-B8A6729CD5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7733f4707cd6367a6ff84835298a3aa55a9016e","datavalue":{"value":"Computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002242$95EE956C-2815-47C3-88A5-091E9991E07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002242$D8423E4F-454F-4F1C-8C56-B1502BCC2B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002242$A5BF9646-5512-42C7-AF1F-8238131CEC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002242$7C9BA673-F9C5-4C61-8D43-5734612433A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002242$D1B63AB1-9C1E-49B3-8E12-C12ABC1A68F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002242$4430035D-E056-4AAB-AA97-2505B06ED464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002242$D8D319C7-42EA-4FB2-908D-73BA08585CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002242$ABF46ABD-2CF3-418C-8DB0-C5469761C68C","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":"Q4002242$57778016-FCB2-4BC1-B997-7583E6D0C357","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f5e6c2ffa5a2ba95848085e6708f2b0de4f8c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997125,"id":"Q3997125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362a71fba6073c10ee59a58374e33674b5a34911","datavalue":{"value":{"amount":"+0.8105834722518921","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":"Q4002242$1FE884A8-A44E-497A-AB06-788721FD258E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f0dd60666362462c6bd98ba045aa43d917dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3997159,"id":"Q3997159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80860c65e828baf5ded221dfc53ae73cdfb6b5c3","datavalue":{"value":{"amount":"+0.8086382746696472","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":"Q4002242$F841BE28-080F-4F39-891B-3E3369AA7B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d1970c032788f9f6c7363cfa128f18336d3d7c","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30cd660671861cd6b2c7123362b9e41065c3e691","datavalue":{"value":{"amount":"+0.8016096949577332","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":"Q4002242$353685C0-2E87-4DF0-9A05-C1DA658C55FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e91d6c48e1e4ac2302ceeec67bc0a6cd6faf78a4","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7967fecc9b1c1b0762a5ce46cb7b8c0b28da2b0","datavalue":{"value":{"amount":"+0.7894819974899292","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":"Q4002242$1133C281-76D0-45AA-82B7-3A9667A9DEC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4002242","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4002242"}}}}}