{"entities":{"Q4487272":{"pageid":6516871,"ns":120,"title":"Item:Q4487272","lastrevid":81875297,"modified":"2026-05-06T19:33:36Z","type":"item","id":"Q4487272","labels":{"en":{"language":"en","value":"On lists and other abstract data types in the calculus of constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1463120"}},"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":"Q4487272$765B4FB2-79F5-42CC-B558-109532472CE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54e7fefa9250bc028bdf5f1917ab960a7d2b06b1","datavalue":{"value":{"text":"On lists and other abstract data types in the calculus of constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4487272$90ADD0E9-B9F9-4A5D-AA12-30AB7D7797D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94838647ac00d797798a230d39b14b916cd689aa","datavalue":{"value":"0956.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487272$3650615C-635C-474A-9A95-37961C94B0AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c38b9525ca8d809ab45c187e5e0bc487d350213","datavalue":{"value":"10.1017/S096012959900300X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487272$4EC79062-245A-45AE-81DF-6086A63D4998","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1c8a82181abf50fa906f6fa96d701d7aa12bbdc","datavalue":{"value":{"entity-type":"item","numeric-id":242949,"id":"Q242949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487272$D84C2BD6-4D86-45A2-B57A-867644BB54D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487272$646AC3B1-3958-4224-BFFA-7A30C6D713CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce7843932412e0d5c566f14bc25dfa7a3675a659","datavalue":{"value":{"time":"+2000-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4487272$AC2409DF-1F5B-4A63-9D79-2A6F10E89B20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487272$DA1EBF27-D763-4771-B28E-00C46EB11BB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"239c57e821257d690559400190f6deee73bfe835","datavalue":{"value":"1463120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487272$13D4C8BC-8569-4AF9-A9F1-0AAB35D2A50F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da89a1358d0f802139a8fe7d622b2ab07ea247cd","datavalue":{"value":"abstract data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487272$631CE564-10C4-4194-BD3D-DC8D9A0F0FA7","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":"Q4487272$99CD17EB-12F8-4B6B-8444-AA505149DF04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"def75114fab6479b98c9da664ee6daa2dc9273c3","datavalue":{"value":"https://doi.org/10.1017/s096012959900300x","type":"string"},"datatype":"url"},"type":"statement","id":"Q4487272$6CCB0AF9-483D-4011-AFEA-DACBEC80D9D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"152c7b7a5be0d1cc7648681dc009a2d6a139f849","datavalue":{"value":"W2009343859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487272$FEA3397B-2C12-4E23-BD28-E93B23BFA99B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c8377e506182330634e2c485af866ac2976d484","datavalue":{"value":{"entity-type":"item","numeric-id":4938611,"id":"Q4938611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82fbc13ca1d545bff4a71d4792d856b2229bb195","datavalue":{"value":{"amount":"+0.7869789600372314","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":"Q4487272$A8021A62-9E79-4858-834B-73FBD2C3F3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fe00dd16f83f29e78f1f29866c0bdd4cd88a8b","datavalue":{"value":{"entity-type":"item","numeric-id":4457447,"id":"Q4457447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a3ffdeee7b4d539573caf96e5bde9d39d095b37","datavalue":{"value":{"amount":"+0.781660795211792","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":"Q4487272$6004BABB-D16D-47C9-84C0-9698DBD751A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebd9e6b27fca9821b67a1b1c62b57ce00f712ead","datavalue":{"value":{"entity-type":"item","numeric-id":1391729,"id":"Q1391729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31c6b7372b811fc3df6e7f5617eb7022354b8148","datavalue":{"value":{"amount":"+0.778455913066864","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":"Q4487272$390E40C2-AAF6-46DC-A46B-5FDE43FCA114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3774cac021645a742e372a809e398e85536093","datavalue":{"value":{"entity-type":"item","numeric-id":5887516,"id":"Q5887516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f0bc935fc7307ceecfad9b03321b62d584fb3b","datavalue":{"value":{"amount":"+0.7705367803573608","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":"Q4487272$D7A54E8A-6463-4551-BF06-CC28EB7BF8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0d7e5f8e13bcfad3b90deb880cccfde5e25fd42","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72141eb3db6427461c920453029fd83dc6f75d69","datavalue":{"value":{"amount":"+0.7637448906898499","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":"Q4487272$FA30F295-7C2A-4C6A-8DD7-01BE3ED82DBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On lists and other abstract data types in the calculus of constructions","badges":[]}}}}}