{"entities":{"Q3088293":{"pageid":3099008,"ns":120,"title":"Item:Q3088293","lastrevid":51318755,"modified":"2026-01-17T18:04:34Z","type":"item","id":"Q3088293","labels":{"en":{"language":"en","value":"Specification patterns and proofs for recursion through the store"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940785"}},"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":"Q3088293$EDA84289-9C91-4D5A-BF3A-57DABF717C9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a636fb6c193725f116ab500b0c0b43e7e975e787","datavalue":{"value":{"text":"Specification Patterns and Proofs for Recursion through the Store","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088293$BEA6500F-3843-4BE0-AC46-70520B55697B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4090dd1a660cb0549c4230ca06c2d71b0f724e4b","datavalue":{"value":"1342.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088293$52EAE37A-CFEF-4E3C-A566-A57C775C1100","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d763483b967c44b469f4877a8b108e17e69da873","datavalue":{"value":"10.1007/978-3-642-22953-4_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088293$529851CF-4209-4AFD-8951-CAFB726E3FC2","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":"Q3088293$74BD1359-21B7-4E4D-BF59-75E49142B4D9","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":"Q3088293$FA3B36DE-C56C-4DB5-96DB-BA619E3F476C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5f933ea207a65c750dcb31f616ab3a85677a7f1","datavalue":{"value":{"entity-type":"item","numeric-id":2842766,"id":"Q2842766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088293$2E3B7CAA-E15D-44DD-A855-C7C6E725799E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9973b58de11bddbd329b1cc3e6e49b7db7b7641","datavalue":{"value":{"time":"+2011-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3088293$8650076B-401B-48FA-8D7F-8308E4F741D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088293$3D9CDEC1-1F9D-4167-9A96-31764A5BA2AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"059579ff93131522d639940893d4dcb505246093","datavalue":{"value":"5940785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088293$4A2320A3-350A-4CAA-8289-567259B30143","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5695ccde4f493ae427d2aaff82d404cadc0c8c9d","datavalue":{"value":{"entity-type":"item","numeric-id":23207,"id":"Q23207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088293$659DEEFA-3B51-4281-AD9C-59A65338E9D1","rank":"normal"},{"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":"Q3088293$85B75201-FE4C-411F-BFB1-AE26118A891D","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":"Q3088293$AD117CA2-3006-4001-BD63-67EBE05425DA","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":"Q3088293$5017A72D-46B3-437E-BEEB-9A9DDC11DBF9","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":"Q3088293$02DCF836-DEC3-4785-B14A-4387EDE01A8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56c73f9d14caaddf085fcdc01bc4dd3e605f1b2f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22953-4_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3088293$AA18C71B-E1D2-454E-837C-5F19D2A1A7BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57b0fa52fd6516564e174c1f5abd9fcabb82b7a5","datavalue":{"value":"W208084060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088293$5C4BBEE3-39F2-4D1A-A79B-ECB09FE26833","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5cba2f545e4905805f6fbaec8c0259c28fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4715213,"id":"Q4715213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088293$3FA6052F-458E-48D3-812D-87D75F82FF31","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":"Q3088293$C7EE5D62-468C-49BD-B2B4-F938EE728C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10987b4086019deb8eb668b9c9d4084a5a9a6ca","datavalue":{"value":{"entity-type":"item","numeric-id":4335814,"id":"Q4335814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088293$955947A1-0001-4E08-A40A-3EC9A3102276","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":"Q3088293$2BADDF9E-2A49-4857-B7A4-DC32596BAAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088293$BAC72A95-569C-411E-9931-48286BBB7E99","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":"Q3088293$BF88F467-9C2E-4684-81A7-B20F83B822F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d35568f9e9d1b4da0eb41e1856ebed95b31b6f8","datavalue":{"value":{"entity-type":"item","numeric-id":3189828,"id":"Q3189828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088293$E4A25664-7DFD-422F-A851-DBC02836FD14","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":"Q3088293$57EE46C3-E6A8-4A77-B81D-B3C0F3FDBAF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"208a7ead10bb60992c93995f055ba6b741ffdfa4","datavalue":{"value":{"entity-type":"item","numeric-id":393092,"id":"Q393092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a589e61e8a1f773446846b45647f5e547237972","datavalue":{"value":{"amount":"+0.9917200803756714","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":"Q3088293$25CD19D6-CB75-45DE-84D8-975F9C224C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52fe31271cb7989d6f2d8a09b1cc0aa1c2b6e3ab","datavalue":{"value":{"entity-type":"item","numeric-id":5716757,"id":"Q5716757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7641299eb5d00839d73a499d2173872a327cf3bb","datavalue":{"value":{"amount":"+0.7812809944152832","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":"Q3088293$D6CC4DCB-74AC-40FE-B638-D8380AE19CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c852901a9bd117add63b5c013fa4c931aa0fc090","datavalue":{"value":{"entity-type":"item","numeric-id":3003346,"id":"Q3003346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ee38aaf58d9a1fdf7dc2156a3dce8c1726ed69","datavalue":{"value":{"amount":"+0.7810920476913452","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":"Q3088293$8DDB5A83-B1BB-4A5C-A955-447E3C3BCFC6","rank":"normal"},{"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":"875f400530cac2654af4fe44f180fb3f3a878e52","datavalue":{"value":{"amount":"+0.7700461745262146","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":"Q3088293$B18AF951-9F0B-4A6B-9B55-0CE1BFADF281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fe8948a2efa99f04ff097351e554f04c02771d0","datavalue":{"value":{"entity-type":"item","numeric-id":3644765,"id":"Q3644765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142bea012eada04799d07ace91bef1336ff35927","datavalue":{"value":{"amount":"+0.7633345127105713","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":"Q3088293$00E973D5-7839-4835-8E42-E2EA94B022F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3088293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3088293"}}}}}