{"entities":{"Q5096313":{"pageid":7125889,"ns":120,"title":"Item:Q5096313","lastrevid":54381698,"modified":"2026-01-26T17:53:19Z","type":"item","id":"Q5096313","labels":{"en":{"language":"en","value":"Higher order conditional rewriting and narrowing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572122"}},"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":"Q5096313$15BDE299-88F6-4F24-A1EA-92C48CC0B7F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f970fcab0eacad0bd9a1116cf4479132584f3e1","datavalue":{"value":{"text":"Higher order conditional rewriting and narrowing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096313$ED985736-3B1D-4FC3-927B-BBE250B8477B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d9cfa8107c9889e807f58cea5949a74e0787d80","datavalue":{"value":"1495.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096313$A96FFD4D-1E95-4511-924A-0CADF25FA0F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca21ff7d743cf6b0902f40630f2a6ab3da1a616c","datavalue":{"value":{"entity-type":"item","numeric-id":174769,"id":"Q174769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096313$DC5C38F1-A8D5-4645-982E-283DC38155BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2978c0d889755b6ce5688a52b6fa27f91e99b6df","datavalue":{"value":{"entity-type":"item","numeric-id":5096312,"id":"Q5096312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096313$4FCFEBB0-50B4-4E9A-A33D-62EC35B25F08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf654a74f98ae9025a05efa0c569883148c4a32","datavalue":{"value":{"entity-type":"item","numeric-id":5096296,"id":"Q5096296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096313$936D696C-BF11-44E3-8C5B-F2737CFA8C91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096313$46540DFE-699D-4BA6-BB20-A224C8AA983A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096313$4ABADA61-B86A-4170-A65A-574394475F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096313$14162BA0-00FF-4BD5-9325-1FDB4C63715B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddf7826c61fd6006fc7cf25f7eaff58df3de9dc8","datavalue":{"value":"7572122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096313$7B68B113-B4BB-4934-BB10-9150FE5B96AD","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":"Q5096313$6C7D7D1A-3FEC-4AC0-8D3A-099ED8DBD4C7","rank":"normal"}],"P223":[{"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":"Q5096313$0E166158-E704-4F55-9133-E69AA8B7674A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096313$5B2DE160-9FCF-4E61-816F-454557918624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d903972af7d29825f64b1c88e5395eb0b5d0fe00","datavalue":{"value":{"entity-type":"item","numeric-id":915429,"id":"Q915429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096313$B6AF1507-9573-4A49-851E-14E6C8E7BB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096313$2023B6FD-C35A-449C-ADA3-EC74B0B1EDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60e52e7e288b65c32f8ca859cbd3cca69d32d89","datavalue":{"value":{"entity-type":"item","numeric-id":1801319,"id":"Q1801319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096313$6DB91727-34AE-40AF-9DFA-34240AC6B084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc38d5f7a802e9ea35c5abdf22fc0003a899e4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1100891,"id":"Q1100891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096313$49D2F552-5F2F-4670-BC3C-416DF3EBEBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096313$441A0F7B-EA1F-4101-96D9-FF70EA6A5DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127a2ffbd273875108237c1f1cec6959561610d2","datavalue":{"value":{"entity-type":"item","numeric-id":5881181,"id":"Q5881181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096313$EEAE1F91-F359-4E6B-A8D1-E4997A50D35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d8b44f05217c526aa12a6be320ec9c8d40564a","datavalue":{"value":{"entity-type":"item","numeric-id":5053011,"id":"Q5053011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096313$538B4A2A-5116-414B-A11A-BAE708262470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55e7eb75745b42d1e8b1dfbc0c8dea9db9c7c786","datavalue":{"value":{"entity-type":"item","numeric-id":5210802,"id":"Q5210802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096313$950932BD-59B6-41BB-8DDD-83C045D42856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fa0765caab346a3b62249e972a08bd2d2d383d","datavalue":{"value":{"entity-type":"item","numeric-id":5966632,"id":"Q5966632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096313$D3BBC8AD-B323-4C29-BAE8-5CD3196D6E74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3799276e7e24e7c0b4e3cf9d0991cfb6af66191a","datavalue":{"value":"https://doi.org/10.1007/bfb0016859","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096313$04A2E86A-FB30-40B3-8223-0F9AB7DC311B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2cd1fdbd9cb1cc858f415d661cd033dca887d98","datavalue":{"value":"W1515796742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096313$B00E8CE6-00A1-49F5-9FA8-4C0EAC7BF744","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb054af0a0f333718258fb6b559545126c78e246","datavalue":{"value":"10.1007/BFB0016859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096313$3B13D6C2-6158-422C-8C4B-C922814E09DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58155a92e39d4db88bc5dc6a9bd708533775264e","datavalue":{"value":{"entity-type":"item","numeric-id":5096386,"id":"Q5096386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c85f0d3007b065ca378975492b433421399919","datavalue":{"value":{"amount":"+0.8381776213645935","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":"Q5096313$1E8B4D78-67FA-4210-A6D8-E33DF6079F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa5092fa0836aff29b2fc32c3202df39fa0fc65","datavalue":{"value":{"entity-type":"item","numeric-id":1261194,"id":"Q1261194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13da9071ea4248b6d21fd8c7106fd5afcf6f659a","datavalue":{"value":{"amount":"+0.8150784969329834","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":"Q5096313$840F788F-C558-4D56-ABE5-08329D9C9A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"802f9028f3400e9e7bbe8ba96861b27ed408914f","datavalue":{"value":{"entity-type":"item","numeric-id":4345430,"id":"Q4345430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"090a05dd7a4d8118bf3b42c9f2a5c3384aba9d16","datavalue":{"value":{"amount":"+0.8132897615432739","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":"Q5096313$1DC39D60-C9CD-47AE-8594-C797C670C974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f627305a197d6a6b0d2e561f92b12be539a8e0d1","datavalue":{"value":{"entity-type":"item","numeric-id":915429,"id":"Q915429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a18fad11f87af18ef0b535374e1104adf0061ba","datavalue":{"value":{"amount":"+0.8006213307380676","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":"Q5096313$D9D9373C-5041-47C4-8567-54DC066A533B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d8da06e6ce303ac3ae20132e8d81ed52ea1bcc","datavalue":{"value":{"entity-type":"item","numeric-id":2766793,"id":"Q2766793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce983bfc76ceb849d6cf11301ae9f482a3e5624","datavalue":{"value":{"amount":"+0.7881836295127869","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":"Q5096313$D7D1D17C-D45E-469D-B57F-06A320CE06F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096313"}}}}}