{"entities":{"Q2891407":{"pageid":2902132,"ns":120,"title":"Item:Q2891407","lastrevid":44709663,"modified":"2025-11-25T10:34:32Z","type":"item","id":"Q2891407","labels":{"en":{"language":"en","value":"Crowfoot: A Verifier for Higher-Order Store Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046576"}},"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":"Q2891407$AE21A427-757A-4C2A-BFFC-A32A590B7BAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b834d06a551864aa2f79c2a35c008b027a50e61","datavalue":{"value":{"text":"Crowfoot: A Verifier for Higher-Order Store Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891407$7A26F0D4-006C-45A3-8C6E-9C9CB07F86A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d00c5654a14fbd055ac023cfd52edfdc8fea0b3","datavalue":{"value":"1325.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891407$E604736A-7003-4DFD-BA67-8C9B58F3EFF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c52e9f019caccc5385eebfd70e7d663ae27fe389","datavalue":{"value":"10.1007/978-3-642-27940-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891407$297000EB-CD09-4AE4-8914-B0A2849AC3E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27726e63c98005f8f5b5062a9432ab8f7bdb5f7a","datavalue":{"value":{"entity-type":"item","numeric-id":287263,"id":"Q287263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891407$64721786-D443-4356-B21B-79C3D558BA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cefe5e31a972904492dc8b9bc0176fef0fec6ca","datavalue":{"value":{"entity-type":"item","numeric-id":287264,"id":"Q287264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891407$631D29CD-E20C-43A1-A342-533C21157B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3e42733fe340979767bce67d5c97029b2e5567","datavalue":{"value":{"entity-type":"item","numeric-id":287262,"id":"Q287262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891407$A6A0B7A8-B875-4BC8-A2BD-476183B835C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891407$49925BA6-2324-4813-BB62-7F4DB5CEB17D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2891407$3962464E-6A6F-4794-8A22-B56AB966CA62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7c1bffce731ef1dee6cdea07ce8c6b5a4c5ccb9","datavalue":{"value":"http://sro.sussex.ac.uk/id/eprint/31151/1/REUS_crowfoot.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891407$F99F8081-2AA6-438E-82B1-71FB7C7BA56D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891407$17B2F061-DBF2-4278-9A0C-8D039B1A45C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891407$A61466A9-AB50-4CF0-8FBE-D482EB6BFC1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbdadf3c88e9d4fc65936104170ca781fe0dbec2","datavalue":{"value":"6046576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891407$12F2EB56-605F-4576-83C6-3E835AB746FF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e8f4bc80749df08a77abd16a1aae1cd89506eb7","datavalue":{"value":{"entity-type":"item","numeric-id":19723,"id":"Q19723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891407$516C109D-2DB7-45B1-B2DD-BBD3AB309ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891407$2391B5E9-5897-4B05-A925-ED3B7A953A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"101cc42e2ce1fda0eba4e4e50b6e4daaef6c81ea","datavalue":{"value":{"entity-type":"item","numeric-id":21765,"id":"Q21765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891407$4F53CFBE-14E8-4D77-97C2-1D98323D06AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891407$BA47E217-ED2B-40DF-B21B-ACAAE7F56FFF","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":"Q2891407$2967401D-A3F4-4E2C-89D5-68150E403633","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1193c38b292b7faaab4c92e2e51f6acf553399f3","datavalue":{"value":"W174943245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891407$4CE78893-0735-4D15-9CBD-4032528A1C0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1cf5a701a96be6e2b4fe8962f9ab5cf74c40c","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891407$F469A381-B361-427C-BB9C-551646E20B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89cbfeceb159ddcc8072c7be622a29c89ba80036","datavalue":{"value":{"entity-type":"item","numeric-id":5310672,"id":"Q5310672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891407$BA4C1019-EADD-4AE2-BD99-4ED9B1334E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44746fc6fa640058cc0d21d8fd2890a63f3a9527","datavalue":{"value":{"entity-type":"item","numeric-id":3088293,"id":"Q3088293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891407$50FFE63B-42F7-40CB-A0A8-D0F88A8FB7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463e1954a865a473cacf2f48ac807c3750b13cea","datavalue":{"value":{"entity-type":"item","numeric-id":387994,"id":"Q387994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891407$503F1E9E-595E-4E69-BAE9-3CA63B0464FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa5b39ffa40b318449c3af5a336d8c38885f30","datavalue":{"value":{"entity-type":"item","numeric-id":3546051,"id":"Q3546051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891407$543DACCA-7089-4DD8-B2CD-FBEAB41348C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3692aa2d157356a2dba2cdcf8e4dfc8407c894b","datavalue":{"value":{"entity-type":"item","numeric-id":5452612,"id":"Q5452612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891407$34AC4DDF-0C4E-47A8-86A4-CADCF418E87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acde0c5acdec560094faaeeaf74535ff9bab476f","datavalue":{"value":{"entity-type":"item","numeric-id":5348933,"id":"Q5348933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891407$1C57179C-44B8-478F-8946-17D1827CE69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd4567de865d75ecbc281a71056a7cdb652c9b9","datavalue":{"value":{"entity-type":"item","numeric-id":3644765,"id":"Q3644765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891407$9615712B-6374-4E0E-8F42-6C5C64388398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70fac7fae7f3ee4ff2db74dc04090924e9c5d5fa","datavalue":{"value":{"entity-type":"item","numeric-id":3557840,"id":"Q3557840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891407$2D0541D7-6A53-4157-9291-BC0F0A96C906","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21efc034af96e008d34a3eb4aa44cfdc5225fde5","datavalue":{"value":{"entity-type":"item","numeric-id":287265,"id":"Q287265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36540f55ba3043de2ce78f7b8977de037e5e7f9","datavalue":{"value":{"amount":"+0.87592494","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":"Q2891407$A5891528-2CBE-477F-B95D-BD4A93DB1131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9691043fc2fa83f9bcad490e83cd2b178847bf","datavalue":{"value":{"entity-type":"item","numeric-id":1987736,"id":"Q1987736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f54f1e1dd166dc9ea05f7b575cd0c3ab2aaa691f","datavalue":{"value":{"amount":"+0.8477966","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":"Q2891407$012FC27F-1EDA-4530-9EAF-BF6F9F62376B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac4701d620bdf510f4b4d4cc8a5d80f843555043","datavalue":{"value":{"entity-type":"item","numeric-id":3498430,"id":"Q3498430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdb7942d659bf4ae634876d21fc5018e81ca5d68","datavalue":{"value":{"amount":"+0.8462124","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":"Q2891407$5E094414-E85A-49E0-A709-FD58D00C42E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54945991e72c4e075bbdaee9b84ef77985d61019","datavalue":{"value":{"entity-type":"item","numeric-id":3087993,"id":"Q3087993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d6767c1bb343bf9392b6fb3bbfa7a2905b7cf8","datavalue":{"value":{"amount":"+0.84488827","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":"Q2891407$4543F594-8206-4FFF-B6AD-F0EFDDF6BD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57b64a722fb5891d538c29db48d292a0c3f618ce","datavalue":{"value":{"entity-type":"item","numeric-id":2324003,"id":"Q2324003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80651692ebfca99da2af4a7cf01d1a1866c8029f","datavalue":{"value":{"amount":"+0.84442365","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":"Q2891407$B91BFD99-C23A-4A52-9E43-5C60013C1ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f34b64a349c4606601cddb539d3c1e869aecca7","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e846d109abe4cbd652b7f14b0e03d1e56871a5a4","datavalue":{"value":{"amount":"+0.8442424","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":"Q2891407$01FB1FE8-8705-49A8-870B-2341BEEDAC6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2891407","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2891407"}}}}}