{"entities":{"Q916402":{"pageid":918250,"ns":120,"title":"Item:Q916402","lastrevid":65325681,"modified":"2026-04-12T01:49:32Z","type":"item","id":"Q916402","labels":{"en":{"language":"en","value":"Chain properties of rule closures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4153896"}},"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":"Q916402$71DED262-7965-4D55-9E0A-81516C5FBCD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06296b1c19a4d588860b0982bfacfdceb0684202","datavalue":{"value":{"text":"Chain properties of rule closures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q916402$5881C262-BC8C-4462-A9A2-B42FFF7F6728","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db4e95014e786c7a3c38b0a26a6c76af6a3500c2","datavalue":{"value":"0703.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916402$9F616751-D20C-4E7E-B1E0-43F6E5B42AE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e123f80028fc833ff184d8e66d9677896bcda069","datavalue":{"value":"10.1007/BF01888225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916402$BB10FE58-57CD-420D-9975-AB6A5DAA3D17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e92e0e03478e58d040be69827ae9c62731f981e8","datavalue":{"value":{"entity-type":"item","numeric-id":235689,"id":"Q235689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916402$7AC82DC0-50C3-4B2A-BC5E-AB98FBEF224F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916402$8960B486-A9FD-4668-98A3-905D74ABAF59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q916402$38191E16-795B-4A56-8AC3-4B1E5D852610","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916402$18AEE79B-4F49-41D5-8C2E-889BA7456B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916402$1BA7B0BC-9BEC-4EFC-A2B6-8F0B785D90D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f6696aa9066e38154f27bdfe686c6f39ff1386a","datavalue":{"value":"4153896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916402$53A88B1E-9CC7-4F4B-AA24-685F3C8FB7B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86596926edb31549e2c97dc09164e7228d03fe08","datavalue":{"value":"term-rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q916402$A232B698-C720-404A-BA14-19174D8A9B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d30897dc3a38b8963b81942cc970489c17b8b0b","datavalue":{"value":"divergence process","type":"string"},"datatype":"string"},"type":"statement","id":"Q916402$8FD08727-0150-40B4-ACF6-91650A1B1BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"481815163701791b963eaa4b035fc822f4cd6368","datavalue":{"value":"Knuth-Bendix completion procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q916402$9FA4A2D9-6444-4991-82C8-C3CA3E7D1C6E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cdc09159c3d9e35e53ef549059a47b095580c647","datavalue":{"value":{"entity-type":"item","numeric-id":40621,"id":"Q40621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916402$1763CB01-F5CA-4D92-BDC4-6A932CD7FD86","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":"Q916402$14EFEB8D-DE67-4940-A6F6-A621BF79AB36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"612e9cb9341b02f6944a85a1a0388d9d9a0f8994","datavalue":{"value":{"entity-type":"item","numeric-id":579930,"id":"Q579930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916402$99096C72-14BC-4BD7-8458-F6D08E2A4B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916402$4A5FC21C-5BCF-42CC-A952-854BDFFD5C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d9d1a825019987eb50d4a73ab4b5db6ef28ea3c","datavalue":{"value":{"entity-type":"item","numeric-id":3040518,"id":"Q3040518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916402$0F1CBB3C-CD07-4B18-9244-4EBC0DB092E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"158f6ee54e9e8160e7d30efec6a6b7e545845b45","datavalue":{"value":{"entity-type":"item","numeric-id":3725541,"id":"Q3725541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916402$943C0A0E-8ADF-40EA-AAA4-323322BFBE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7dd076536f3668f703f8f8e17b2cfee8106654e","datavalue":{"value":{"entity-type":"item","numeric-id":1154801,"id":"Q1154801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916402$07F49AE2-3044-4E91-BEFF-A37617BAB1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f91c181eb5346fb8d5d6c8d626d661095ac857b8","datavalue":{"value":{"entity-type":"item","numeric-id":1262755,"id":"Q1262755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916402$357F6317-E984-44E6-AF6D-1DC77B0C4BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916402$4DD831B1-444C-4891-895D-12FDE6BA667E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916402$E8115D42-9862-4258-8912-0BC3854358F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09dd2e873b50f4cdf3a6ae0e4dfe47f8ee8e35a3","datavalue":{"value":"https://doi.org/10.1007/bf01888225","type":"string"},"datatype":"url"},"type":"statement","id":"Q916402$2FBB8BE3-870F-4566-AC4B-24A7B6F02129","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd86a034e5bd55c47b8a2f4821e6b2330b5738a5","datavalue":{"value":"W2024574878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916402$06423288-09C7-47BE-9044-CA556DC3C766","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35a4bdbc9731f539c5fa0166db031fac3bd17d5f","datavalue":{"value":{"entity-type":"item","numeric-id":5096168,"id":"Q5096168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48c6a0274c6ecf0b0c9d11447904d924cd0ed6b","datavalue":{"value":{"amount":"+0.9684609174728394","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":"Q916402$18A32309-12DA-4E28-8A7D-650E556A2C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94413188e5ea83a8d6bf2c0591b3f51a7bd90c4e","datavalue":{"value":{"entity-type":"item","numeric-id":685379,"id":"Q685379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c86b44e56bb23cd4a0cbec971bcbaddfe633f8","datavalue":{"value":{"amount":"+0.7639524340629578","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":"Q916402$FB541BAC-EC0B-442D-91F1-7BDFFE4AF437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1789754ecee27dc4d2ba7295d02ee02d35413c1","datavalue":{"value":{"entity-type":"item","numeric-id":2841250,"id":"Q2841250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0902bc3e82a4622316b901a1e715ceb2f85ae269","datavalue":{"value":{"amount":"+0.7577793598175049","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":"Q916402$E7B13A7E-DF2E-4A8F-89ED-06A132796354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc64dada5b9c56808dced690d1dbabcd3cabeafa","datavalue":{"value":{"entity-type":"item","numeric-id":3725541,"id":"Q3725541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f462cda8d3b523e0fca198734a455c6c33667ce","datavalue":{"value":{"amount":"+0.7548545598983765","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":"Q916402$6FC8AA56-27C0-4776-A0CF-7C0ED8685C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a500f3d183c7965ad8975de96260b5a12361367","datavalue":{"value":{"entity-type":"item","numeric-id":3805889,"id":"Q3805889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcb8d08e271a66dcb1a3a6ca0625991f0a0304b9","datavalue":{"value":{"amount":"+0.7477540969848633","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":"Q916402$8946C5A7-1CD7-41D2-A204-E01209A5240C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Chain properties of rule closures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Chain_properties_of_rule_closures"}}}}}