{"entities":{"Q3330551":{"pageid":3341259,"ns":120,"title":"Item:Q3330551","lastrevid":48720631,"modified":"2026-01-05T17:18:57Z","type":"item","id":"Q3330551","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3862480"}},"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":"Q3330551$6DD5F04D-36CA-4FAA-9C3F-41425C59C090","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e47f5c511439a4a07fe9f8ab934ca60ccfdf8ab3","datavalue":{"value":"0542.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3330551$A52FAD47-7B79-4EBB-9B91-F80DDA2B65A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3330551$F906D351-CEBA-4058-906F-388C3AC37004","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3330551$FDD6435B-D958-43D8-A6D9-268C90A95E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3330551$398F2CEE-398F-4FDD-A379-9F6AF2A20366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3330551$D3E6C06B-C636-48EA-AAA0-2C2DC4767247","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9fcca763007bef74e717340ae51db662acfd539","datavalue":{"value":"3862480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3330551$D6492E23-23D4-4A40-99A0-B8B883D5D744","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5bd39e53908737551e2035be4577b1f3c430a8a","datavalue":{"value":"recursive data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3330551$D7B2E53A-6B54-4168-A9BC-9FA6D45CB6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3330551$9F0E6E2D-03B2-42E1-8A52-17C3EE827B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60932b1759d50530cfd88fffb846790169345ac9","datavalue":{"value":"Constructor functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3330551$619AA3FD-F669-4E54-89DB-7394BE6F2F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d553dfcc4da1370f6eaf572d6801aba8bc3e1c39","datavalue":{"value":"Structural induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3330551$02930108-221C-4476-B80A-77F63C05DD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7709d5c7fd118dba4f8e930d3ff4d69a274a4ae3","datavalue":{"value":"chain-complete formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3330551$6A84AA89-FAF7-4D2A-B061-365AF5F332FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ae11a83a19ddf38473e4541b755ad354d7f3f","datavalue":{"value":"axiom systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3330551$8E229A1C-1964-4B68-81CC-C0C802D45AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3b23b846c90c89802cae9adc8482b97ca1da80e","datavalue":{"value":"lazy lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q3330551$1AF75370-0628-4E95-95C1-2BA955B30DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48467b42b470344f08cd739937d79c751b3a4f1c","datavalue":{"value":"finite lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q3330551$A29DE865-6268-4DEB-A25D-E0945C3C7220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a65c343fd27086ec3839e65559c0a3db51a761af","datavalue":{"value":"syntax trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3330551$DD7DB87B-FF4C-4F04-A702-57675811D723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea1138ae6942c39151c71efbe78bae663537bd8","datavalue":{"value":"LCF theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3330551$06970D30-0A70-4164-AD38-C322ED7B0C3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3330551$A1043BE5-0277-40FE-A20F-BB04FA72872E","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":"Q3330551$B46079B7-8C50-41BD-B92B-1536345929DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfad2168e1b1bffa9cf5ffed47b771af85ceae7a","datavalue":{"value":{"entity-type":"item","numeric-id":3709857,"id":"Q3709857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"595c38c9d7c4aa62599c235c2729250199325e35","datavalue":{"value":{"amount":"+0.7524883151054382","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":"Q3330551$49E1FF93-ACED-4ADB-8A83-CED400565A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a299ada1677cb50f9badc2dfb747cce9998463ae","datavalue":{"value":{"entity-type":"item","numeric-id":3026376,"id":"Q3026376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c3c92783619155e0930832a300bd5a82da9582","datavalue":{"value":{"amount":"+0.7512456774711609","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":"Q3330551$B55567CA-0AD4-4122-91E3-B5E1F151F2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75375023a30502796a165a15ac92d3577c9fe3f6","datavalue":{"value":{"entity-type":"item","numeric-id":3337524,"id":"Q3337524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e83662c18a355ba1e2101c2fe21953f3aa44f1c","datavalue":{"value":{"amount":"+0.7467020750045776","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":"Q3330551$BE321218-74B0-4854-85E2-8E7A04BFE092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41c4d0a8b5b2af9d1b0eaf03ff14cbc5c60d1c3","datavalue":{"value":{"entity-type":"item","numeric-id":1318702,"id":"Q1318702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e55e992b10c27761141798c413168aebbc0d89","datavalue":{"value":{"amount":"+0.7309637069702148","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":"Q3330551$EAE5FB1F-97E6-4BB8-8A11-CEFB869509DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536e3048b328ddd10eac7c42a6aa451866a22382","datavalue":{"value":{"entity-type":"item","numeric-id":4487272,"id":"Q4487272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c66e090c1805316b4a0e3b12edff0a19826e83a","datavalue":{"value":{"amount":"+0.7303963303565979","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":"Q3330551$987AAF85-6AF6-4623-BA19-14A0B313B4EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3330551","badges":[]}}}}}