{"entities":{"Q3319766":{"pageid":3330474,"ns":120,"title":"Item:Q3319766","lastrevid":48691882,"modified":"2026-01-05T15:23:44Z","type":"item","id":"Q3319766","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3850463"}},"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":"Q3319766$3D9F773A-2C44-4154-A096-EBA6C49FC4CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f43bddaa0f36a56383dbbc99cbfa657aa1b6ea2","datavalue":{"value":"0535.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3319766$04736B97-935A-41DF-A8C6-226597A07090","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab539a58a8a767731665253837c1bc29c4d22a7e","datavalue":{"value":{"entity-type":"item","numeric-id":593774,"id":"Q593774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3319766$02CC0225-2AEC-42E8-8DBB-D591971DFDDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3319766$5B8EDF66-2B2C-43BC-9A59-C69EE6D27237","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3319766$CEBC874B-378B-400C-AFE8-A2982F6B13DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3319766$FDBB4750-4FAE-49F5-97B7-700C6949A915","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2be9164872fa73a3c3dd2ffb55d2babe93ce2532","datavalue":{"value":"3850463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3319766$0F84D231-BC80-43D9-951A-4BC5B319B04D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ae56fc627e36c80644a749f0f194a2a9784098a","datavalue":{"value":"string rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3319766$B70F2734-4B88-4C4E-A49D-A7EDC16632F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"081924135c932b980cb7d2d452bc156d6cd5b308","datavalue":{"value":"Church Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3319766$EF196931-1667-488B-A33E-F57D71C3E9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83f63d8b1f3d7877023a61f1454b131f01c777a1","datavalue":{"value":"finite monadic Church- Rosser Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3319766$89EF9295-EA27-43FB-898C-DB4B99F27223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3130241d6ac724ec1af58a82485c360f25f3afe","datavalue":{"value":"decision procedure for a class of true sentences about Church-Rosser congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3319766$C1FD756D-E90B-4561-BEC7-8BA5BA1AC85F","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":"Q3319766$36A46203-6169-4F94-BDF7-93308974EEB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcf9448d7033c32b4275bd4376f2d4813d887fc","datavalue":{"value":{"entity-type":"item","numeric-id":3796797,"id":"Q3796797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d9eb496c7992393032b888bb18c9de5dd0e4525","datavalue":{"value":{"amount":"+0.8567540049552917","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":"Q3319766$EAEEE94F-9307-4231-B275-FED2DAE00510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"543faedc79909ccf97fc246218bfa871371de0c9","datavalue":{"value":{"entity-type":"item","numeric-id":3677188,"id":"Q3677188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d322dab5721655b9b025ff853358433e1ccda5f8","datavalue":{"value":{"amount":"+0.848766565322876","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":"Q3319766$A78A7223-0A4A-4C42-B983-A06666A78A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc807f417615fd0288d8269779e7194b77263fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1057264,"id":"Q1057264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8112cc75089e82c3cd43dc95ad6c3df3291ec742","datavalue":{"value":{"amount":"+0.8349050879478455","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":"Q3319766$2B874481-4EFE-48AF-9D1A-4CDAC7BFD073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d1454efb480b150a0afee282e59f9f878946610","datavalue":{"value":{"entity-type":"item","numeric-id":3778003,"id":"Q3778003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62906260d54619714479e0e40e07a70711830017","datavalue":{"value":{"amount":"+0.8302430510520935","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":"Q3319766$990270EF-2573-4AF0-8F99-863ECEA5D57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a02fbca4bccb20200d05fefd3fb4db34e08fdf45","datavalue":{"value":{"entity-type":"item","numeric-id":1071759,"id":"Q1071759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41c24e629da2890fa9ce11e6d54f5d042f777a7c","datavalue":{"value":{"amount":"+0.8258374929428101","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":"Q3319766$49A4092E-738E-463D-A249-88B0C84CC55E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3319766","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3319766"}}}}}