{"entities":{"Q3491002":{"pageid":5520902,"ns":120,"title":"Item:Q3491002","lastrevid":49416034,"modified":"2026-01-07T03:11:14Z","type":"item","id":"Q3491002","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164183"}},"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":"Q3491002$ABCF430C-9365-43A6-8D13-937D2EC0187F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b19e9670e418089bb2724e13ef2e481e072f48ef","datavalue":{"value":"0708.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3491002$96BBE737-3471-43FC-99B1-DD6CAE8F83DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d5c9904fa54520ebb39636f9089080381d2dcbf","datavalue":{"value":{"entity-type":"item","numeric-id":760272,"id":"Q760272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3491002$095FE342-0306-49A5-AA6D-46FC69A7FF5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3491002$6C70DC87-937D-424D-8C51-2272E0FABABA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3491002$5717B717-9A5F-45B6-9E20-03807352CFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3491002$67486B3C-9D65-4F7B-A1B9-F3C3821A495E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3491002$E65EFFD5-30EE-4E28-8416-81E1AD620064","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2ee6000e54679f88067a01f92ac6aa626f79f25","datavalue":{"value":"4164183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3491002$3216A249-216C-46C1-9C58-00535B6D787C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3491002$13DCAA7D-3E71-4EF0-B5B7-DFF4CFE1A1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3491002$575DEC55-02C0-4B39-80DE-6DB6936B4284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f7cef943ad32f701104462b17b220e63432b158","datavalue":{"value":"constructive higher-order typed logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3491002$CCB61714-55AB-45D9-AA2C-DF9D42701789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3491002$96A57A9E-8D83-4C21-8C4B-03FB64EDE1F7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3491002$56A986A9-A96B-4358-80F4-370C9AA7DDEC","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":"Q3491002$2DA32E67-B9B0-4AB0-8158-9682EEF9476B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26cb5cd464b164ea1acb873ebe4a85f44b92d6d2","datavalue":{"value":{"entity-type":"item","numeric-id":912589,"id":"Q912589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b486071c748c2954e13369a63cb01458ee9fd6c8","datavalue":{"value":{"amount":"+0.7760514616966248","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":"Q3491002$BA372D85-F881-4F95-BFDB-9B44834900F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"232fd69db5b94e705d38ce1e192940e83e79a8c9","datavalue":{"value":{"entity-type":"item","numeric-id":4217953,"id":"Q4217953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7af6c00adf4b3b06e3cbb7dace1199c5532a6530","datavalue":{"value":{"amount":"+0.7623149752616882","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":"Q3491002$CC2C380C-D9FF-476C-A55F-DFE4CB42F020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a51784dec193028c5e91e65703c97f98a11c9e","datavalue":{"value":{"entity-type":"item","numeric-id":3392920,"id":"Q3392920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7af6c00adf4b3b06e3cbb7dace1199c5532a6530","datavalue":{"value":{"amount":"+0.7623149752616882","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":"Q3491002$98931EDE-5752-416B-BFAC-82F76EE75BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81235c4d3f4c66b6911717e8cbf43cd34a5bdfea","datavalue":{"value":{"entity-type":"item","numeric-id":912594,"id":"Q912594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8e8880e33710a01637a54617cb0f13e9ce4121","datavalue":{"value":{"amount":"+0.7585697174072266","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":"Q3491002$37B307D8-576B-4C52-9FB9-AC74D6713267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8d6a80cc447a5e7ef8a60d947cb6b79bd217e58","datavalue":{"value":{"entity-type":"item","numeric-id":1285864,"id":"Q1285864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e228984473b93e5af3e225153ff4fe031bf47b","datavalue":{"value":{"amount":"+0.7539146542549133","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":"Q3491002$ABB2C000-B436-497D-82B5-7355AFC44D50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3491002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3491002"}}}}}