{"entities":{"Q3608811":{"pageid":5638717,"ns":120,"title":"Item:Q3608811","lastrevid":50592176,"modified":"2026-01-14T12:18:30Z","type":"item","id":"Q3608811","labels":{"en":{"language":"en","value":"Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523807"}},"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":"Q3608811$07477086-9F8C-4895-A239-AE86D4C54C28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ba1fd27cce951aa4692c509bd35f63406238b45","datavalue":{"value":{"text":"Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608811$9D7B39F0-1DD6-4679-A9B5-1EF12091173F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2314a27178be5739d31fdeacf0ca66c3b44e16f","datavalue":{"value":"1186.68236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608811$C728EE4D-1262-45A4-8878-8BB0293688D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12e4c6c986e26b33342ba85f43d23a63bd825744","datavalue":{"value":"10.1007/978-3-540-73147-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608811$7B0BF346-FF0C-4E1C-A5C7-EEFC913EFBEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dabf6399e6f9987ea06379d551f213552ee1105","datavalue":{"value":{"entity-type":"item","numeric-id":554216,"id":"Q554216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608811$6D78C5F8-33A8-4AF8-9851-8AAAE1BEC013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318dcafa750fdebd097595276bc4d8a687f38a37","datavalue":{"value":{"entity-type":"item","numeric-id":271708,"id":"Q271708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608811$7F72DC4E-4A31-41FE-8404-386DB76F7B4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e4c6db21b0e8321ee4e0cbe49fb02a3b124742e1","datavalue":{"value":{"entity-type":"item","numeric-id":3608808,"id":"Q3608808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608811$60F79E15-EF07-41D3-9D00-C806755F036C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608811$0563DFB6-CA2C-4A07-8FFE-7D964249B7B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608811$4D74F82D-4A07-4929-A46B-D692B9F5D986","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd071979ae461a5574e3b55aa9395c1368957f9c","datavalue":{"value":"5523807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608811$16A2E2C7-EAE8-4144-B517-CDA30B439BB7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9603190ee33506d1da020c1738e35e67bcae23b6","datavalue":{"value":{"entity-type":"item","numeric-id":13999,"id":"Q13999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608811$D8715722-05C0-4D59-8411-B48F1BE7E429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608811$FFFDCA50-D086-4F6E-8987-BBBFA479D374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c326307158b5645c1325f44a8655bebc65c0dee","datavalue":{"value":{"entity-type":"item","numeric-id":22033,"id":"Q22033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608811$C09D73C2-838A-4850-A6BA-A9DDB64EA439","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":"Q3608811$2CE2CF31-20CA-4904-A4B7-3794080EB9A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d1ddf20c67c15cdcd4af3a3b1928b2030df3b7d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73147-4_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608811$B5AC0AF1-9A98-421F-9600-85B280217B67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e90c7c2f62780d99c495928f434a07423c4bd89","datavalue":{"value":"W1506313279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608811$CBC99D2D-BA5D-489F-A070-E49207FAE314","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a78c41bc3cc611cf5c6ea68d56b3e56736cc44","datavalue":{"value":{"entity-type":"item","numeric-id":4028349,"id":"Q4028349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f5bbd6b34bc2270c8cfd21faa87d3be1addc9d2","datavalue":{"value":{"amount":"+0.7665367722511292","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":"Q3608811$FC884698-FAEF-4067-9338-A2A145E55614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6ac4cb02e20675307831c42232123371dc251b","datavalue":{"value":{"entity-type":"item","numeric-id":1037404,"id":"Q1037404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a62cccb59634459db20f447a1413b2f1b39647","datavalue":{"value":{"amount":"+0.7659380435943604","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":"Q3608811$5137E186-D44D-46BE-B55D-FA7F7C56BE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be161ec7f3b9536e6e38479daa2455b405ae4f3f","datavalue":{"value":{"entity-type":"item","numeric-id":4916079,"id":"Q4916079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47894e98c88ef5e1f37fb8dc6ff37d54258b9915","datavalue":{"value":{"amount":"+0.754281222820282","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":"Q3608811$54DD2733-8397-43D9-B04E-D5A89997F3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e4feb8e761aa3f0fb17331214d996e889e154d","datavalue":{"value":{"entity-type":"item","numeric-id":5210767,"id":"Q5210767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43074a68f903ef08e3f95f5b10ef910528cea0ed","datavalue":{"value":{"amount":"+0.7509613037109375","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":"Q3608811$5C1EE451-F1BC-4D68-91D4-F9F72D5ADC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"620c4caf3dce07d738acb7de2824c5e22e0acace","datavalue":{"value":{"entity-type":"item","numeric-id":5055818,"id":"Q5055818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3505a3a3feeed9426630c223dd2b188a476c5fd1","datavalue":{"value":{"amount":"+0.7502511143684387","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":"Q3608811$B80B67C3-4973-49D3-812B-441BFCD1283B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608811","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608811"}}}}}