{"entities":{"Q2655321":{"pageid":2666064,"ns":120,"title":"Item:Q2655321","lastrevid":44579637,"modified":"2025-11-24T01:34:44Z","type":"item","id":"Q2655321","labels":{"en":{"language":"en","value":"Computer assisted reasoning. A Festschrift for Michael J. C. Gordon"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5662152"}},"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":"Q2655321$DE31DC39-C1BD-4E5E-8358-CEC36CD088B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa99570d629cb43c20623c164579daed505660d7","datavalue":{"value":{"text":"Computer assisted reasoning. A Festschrift for Michael J. C. Gordon","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2655321$DD865CF1-CCF9-4212-A76A-02B354FDB093","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a76d38cfc25a323472d0e2130a13083c78485261","datavalue":{"value":"1179.01037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655321$E1B9CF6D-43B3-4B1F-A1D7-4D69FFEA116D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90d9476515afef7e6c60583e2e3e73e4a129ab00","datavalue":{"value":{"entity-type":"item","numeric-id":1400287,"id":"Q1400287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$44829FE1-D2E7-4F12-B9F5-9D71BE0ED6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d512f15aa7dca5445b4f70135bf8aa67126d08e","datavalue":{"value":{"entity-type":"item","numeric-id":1029814,"id":"Q1029814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$2CB87FD1-BDC4-4633-86B5-6260BAD6C4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c9fad689f750c5db21b8405cfccf604b5cd8abe","datavalue":{"value":{"entity-type":"item","numeric-id":1309244,"id":"Q1309244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$B9313169-B982-4512-A4B2-DB8B43404036","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$113C022E-90A2-4364-80F8-164D53250871","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eeda675146eaac960e312504b1b7dd784f800a08","datavalue":{"value":{"time":"+2010-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2655321$340B2229-382E-49E6-A732-C2130AADD6F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e75e2ccd13b51aea3a2e1bb2ce27bc57128d55a","datavalue":{"value":"01A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655321$A685F18C-F560-4669-8F96-8B970E9B9F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655321$CE2D3F87-0B3C-4F53-8AC5-A411930B87F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655321$08CDB8D1-3678-46F6-8DE2-484D7CE6A82A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655321$33A7F6F8-C43F-478D-8181-B3EB56627550","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6063f9faf23b846c7fd2c171eebb53c0db9e9a0","datavalue":{"value":"5662152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655321$3E45D666-468A-4FD6-A319-CB3982C4CBF1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$3B9DB485-D8D4-4785-9DA5-71BEA8639F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$DE1223A1-8E79-45B8-B4C3-B470DA6758BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b2040a476017b43b21bd352cfec0a67d631d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":18467,"id":"Q18467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$F3B6B070-4A3C-4042-A2A8-36565B7175D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76802187a7905926b2a38ec174758f899e34b9bc","datavalue":{"value":{"entity-type":"item","numeric-id":22347,"id":"Q22347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$9B5DB0EE-E7DC-4F06-9620-F833AF4E81EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$DAD81A87-E3C3-413F-AF30-58F93CCA5E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bab752e9cf98240487eb3aae10666dc541b36d41","datavalue":{"value":{"entity-type":"item","numeric-id":43692,"id":"Q43692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$84DF398E-C17B-4A1B-86EC-D799C814F877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$3599EB90-129A-48B6-8F5F-DFB5A375A1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$FAE34B08-8993-490C-94F7-4315680BAD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a06d589cab28a2187cda9e8ec1e5c1af0011d89","datavalue":{"value":{"entity-type":"item","numeric-id":14049,"id":"Q14049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$E5E319FF-5EA8-40AB-ACFF-756D33DD6AC6","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":"Q2655321$383525B3-594F-480A-B7A9-E422517A2F7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40cd029a9f3b38741c74b00e97314a76453eca4f","datavalue":{"value":"https://doi.org/10.1007/s10817-009-9144-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2655321$0A652F21-813F-48F6-BFC2-961D397FCC5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc23951620dbd820eb328428a0356e542204c5a7","datavalue":{"value":"W1571821405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655321$2F1B3D52-341A-48C6-BCF2-9E31FE802505","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6a52166541cd38a949b0ad474cae74deab3bdd1d","datavalue":{"value":"Q125765287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655321$F58621DC-6F5F-49B5-A174-2FF6126557BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"038737483aa1c171779192773bfd003d1ec7373c","datavalue":{"value":{"entity-type":"item","numeric-id":3559766,"id":"Q3559766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$2DCF3803-8354-44FD-BC4B-1FBFE5E233EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3399beedf3a3d87486c25981f3ed01b51370fdda","datavalue":{"value":{"entity-type":"item","numeric-id":1122998,"id":"Q1122998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$B4585F8B-2270-4604-8C99-DF86458B1E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df9fb4bc160a2caa739ce4a3c250258344d6a7c4","datavalue":{"value":{"entity-type":"item","numeric-id":2729073,"id":"Q2729073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$80A53985-21EC-49D5-9EE0-B67DD3874D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62aedbd59da703b6a13d2a6df683f16fb928eb18","datavalue":{"value":{"entity-type":"item","numeric-id":4199490,"id":"Q4199490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$065B84DF-86C7-4134-A5BC-7CD1BF5B850A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53272d2173db9c6e31a2df5def7f3ca8e8e0c9bb","datavalue":{"value":{"entity-type":"item","numeric-id":3753927,"id":"Q3753927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$EC20AFFB-84CA-466F-AE85-D5E8E33BA73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af736b280653d8c52f7865822451880ba9543842","datavalue":{"value":{"entity-type":"item","numeric-id":2754043,"id":"Q2754043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$11171596-A6AE-4241-9583-7504A47BF5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbaac92189fbf46376ea8bdddfcb130af2504b2f","datavalue":{"value":{"entity-type":"item","numeric-id":706502,"id":"Q706502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$3BD0900B-C202-4705-8E79-52126EF6F017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$BED988A9-4D0A-4F8F-B02D-1B86D376BDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$524CABB3-925A-467F-9F0B-C2DFFBEEF23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74c86d89cd4b3f778eea50012f0bf53063ad7680","datavalue":{"value":{"entity-type":"item","numeric-id":4004176,"id":"Q4004176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$9A0D8470-04FD-44CE-9734-5BB259AAD20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49cfd6942550ad4a0d31d13bbc5815a4eee0ee","datavalue":{"value":{"entity-type":"item","numeric-id":3154457,"id":"Q3154457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$468C2EA2-8FBB-40B8-81CF-880D763A5228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$ED35A1CF-75EA-47BD-A7E8-903930684EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac30c585b3eca0009fc86a02535b9a25c0d03553","datavalue":{"value":{"entity-type":"item","numeric-id":5758130,"id":"Q5758130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$BB1193FD-F9B2-41A1-BE74-B7A3221146BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$1C5240DF-AD3F-47B4-957D-C3AB5A6996F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$ECD5AA00-7AA1-42C5-88A2-E881A22325F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777f1902a1127b94884ae1ddc89768860f054a6e","datavalue":{"value":{"entity-type":"item","numeric-id":3789060,"id":"Q3789060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$46455A9F-4821-4565-88F7-0CB68F13FCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"960fd40f59fc58f3b7c8f870aba6cbbfd12894f3","datavalue":{"value":{"entity-type":"item","numeric-id":3024884,"id":"Q3024884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$029A3A1C-97E2-4C71-891B-D1D16B06F2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896bd19e6777ba4c516f5fbf2337d447a60ba466","datavalue":{"value":{"entity-type":"item","numeric-id":2642982,"id":"Q2642982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655321$D0C0CC74-9EAC-4B09-8AA6-D3AC14FE8572","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4818dae672cdbf8dd93d3b02cfb683f7fc9af2a","datavalue":{"value":"10.1007/S10817-009-9144-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655321$F1C9AC92-D220-47E2-8005-168A5350F9AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2655321","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2655321"}}}}}