{"entities":{"Q4247305":{"pageid":6276906,"ns":120,"title":"Item:Q4247305","lastrevid":40902763,"modified":"2025-04-13T23:11:37Z","type":"item","id":"Q4247305","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302060"}},"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":"Q4247305$2E7E5E61-C54C-4701-946F-7B81DBB76E81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ef4d3c25378a94306844caa932deb7252bf4b32","datavalue":{"value":"0929.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247305$61F08E97-5BE6-4011-94DA-E89471F07B13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c71cc4ddede92ad9db44e750a43149418f0690f","datavalue":{"value":{"entity-type":"item","numeric-id":4247304,"id":"Q4247304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247305$34A2FADB-7988-4D57-B3A8-7EAC4EB98B71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdac7f8667945c3fb34e527fc5abbf5817818c79","datavalue":{"value":{"time":"+1999-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247305$AD20588B-0AE4-4BF1-BDEB-9E20391377C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247305$47C420C3-2866-4C88-BF57-CC8C5AE62036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247305$B399BAA8-955C-45A2-B1E0-C253A5278B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247305$BE33DE39-DBCA-4124-A921-E1EFCDA295C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fafe0b9b947dc1f53d75defb7136d50929ca3150","datavalue":{"value":"1302060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247305$E3F58AC0-45F6-456C-98E4-F29491779494","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2249df2bef8c4b57b581d0a5112209126980651b","datavalue":{"value":"deriving programs from their specifications in constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247305$21EBC396-B66E-491F-8F1C-A4DEA8B73F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f768b2bb3b4b69b03ff57eab92f5ccd85ef8b723","datavalue":{"value":"method of analysis-synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247305$A0E47F09-5106-4598-89F8-D3573A7F0496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e74cd9afd4d5ef90f0eb9e619951e99669fc51e9","datavalue":{"value":"Boyer-Moore algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247305$DF1D20AA-03F1-452F-A358-F8B3586A49D1","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":"Q4247305$0699F3DE-9DBE-4808-9D7E-FF95B80972ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d3456e90e605b88698c86c1dc64d96d45703930","datavalue":{"value":{"entity-type":"item","numeric-id":1802072,"id":"Q1802072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90e5535594c4e413b4bb228ecc867aa3a0d4f9dc","datavalue":{"value":{"amount":"+0.9375715","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":"Q4247305$7B0A37BD-A839-49A1-9EA8-0D88F331088D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"318d6fb99941ebfef40dbeca7b4f5afc2330dae1","datavalue":{"value":{"entity-type":"item","numeric-id":3740203,"id":"Q3740203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de6386c8e74ca3ba94e51717daa9abf8f4f5d9c","datavalue":{"value":{"amount":"+0.9174534","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":"Q4247305$675ED5E2-D45E-4304-934D-681974DDCD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320f8287a6eec1fc5a76add9faffece70bc8dbb6","datavalue":{"value":{"entity-type":"item","numeric-id":3475253,"id":"Q3475253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b07ebabae98a3e4b2a6ffca4926f8f1cfbc5a0a","datavalue":{"value":{"amount":"+0.9133661","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":"Q4247305$3C6E0752-C4E1-4119-9915-044300BA633B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdfd60aa81461254a01ae77953e44d4247124728","datavalue":{"value":{"entity-type":"item","numeric-id":1895393,"id":"Q1895393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6bb02b2d0d8d839b3a650b3ff92622b1f8e249","datavalue":{"value":{"amount":"+0.91191155","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":"Q4247305$AE28AF73-B78A-4ACD-A9E9-3657A89FD850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696d83aaec159cdf8ddedd031545e8cc3910de03","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f111e497acf6c4a4ea6be3c784b05db6acb5ad7","datavalue":{"value":{"amount":"+0.910245","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":"Q4247305$302F607C-425F-4920-B96C-F57F27118FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb0fbc6968e9a2f89e38fedb41ff015c9a03202","datavalue":{"value":{"entity-type":"item","numeric-id":988551,"id":"Q988551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"228d4eba74325365248861c02c6d9a4289345391","datavalue":{"value":{"amount":"+0.91013753","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":"Q4247305$39AE38BE-F266-4B3A-8109-9990551B24C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7adb9526da39fdca1865edc78c64195f811bfef4","datavalue":{"value":{"entity-type":"item","numeric-id":5438966,"id":"Q5438966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d05bbb18c55e2bbe5e2209333ae1e4230738e6d","datavalue":{"value":{"amount":"+0.9062944","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":"Q4247305$35A5AA5A-EE43-4A64-95A0-A6E7FA45B162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6127029ec644153d6bf693e947c028683993b16","datavalue":{"value":{"entity-type":"item","numeric-id":4364521,"id":"Q4364521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234390cd200ac79b8367badc68308ba54138eff3","datavalue":{"value":{"amount":"+0.90504515","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":"Q4247305$4B6B9E33-D1BB-4E26-87C1-FA0A88EAD5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5531ee82428d164e989bcf3a0461f04bdc72c74","datavalue":{"value":{"entity-type":"item","numeric-id":4252873,"id":"Q4252873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7170a0e2e7275cf4664b79a141e550b3a3faff73","datavalue":{"value":{"amount":"+0.90292037","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":"Q4247305$4320C6E5-4972-40F2-B697-B1B3F05B6DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76deb5535e00ebcb01402afbe64314fa9e23992c","datavalue":{"value":{"entity-type":"item","numeric-id":678762,"id":"Q678762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7635c828063b0c508c51e6a1c1722a7a93abcd6d","datavalue":{"value":{"amount":"+0.9004427","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":"Q4247305$50FF27C6-7968-4D27-A23D-C6DAAAE3FA78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247305","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247305"}}}}}