{"entities":{"Q5097640":{"pageid":7127216,"ns":120,"title":"Item:Q5097640","lastrevid":54387827,"modified":"2026-01-26T18:04:31Z","type":"item","id":"Q5097640","labels":{"en":{"language":"en","value":"Semi-inversion of conditional constructor term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7576131"}},"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":"Q5097640$1657D4EA-090E-4BBB-9609-7B44C9303A4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"445e91d559938a3cb80a292aa38f4c5cf54c169c","datavalue":{"value":{"text":"Semi-inversion of Conditional Constructor Term Rewriting Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5097640$47884063-8CCF-4466-92AD-CFC759E9F011","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"171e86c2f927ab5b971cfd66e81206393d5e957e","datavalue":{"value":"1502.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097640$69012DA8-9F26-4D42-B119-09663CA8B2B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd354afbe14ef029f67a379b191a1905d1b008e2","datavalue":{"value":"10.1007/978-3-030-45260-5_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097640$274B33AD-591C-4732-8FDC-C71F5B1637C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1a66ecaecdcc42dc00098785a9b2d82e89f3b00","datavalue":{"value":{"entity-type":"item","numeric-id":511018,"id":"Q511018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097640$F11ECB7D-52C3-4596-894A-C669A2F141AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81032b0f581db8e37581bd17c6ad01498f4c3819","datavalue":{"value":{"entity-type":"item","numeric-id":232939,"id":"Q232939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097640$A47420A7-3771-4C99-9C4A-DB11F06BA991","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097640$EB38C8C3-EFFE-4488-B8CD-3525AA573FF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1671f4d77625f9c3fb2d471bd3f2c3e84e79d65e","datavalue":{"value":{"time":"+2022-08-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":"Q5097640$4F942541-436F-4B9B-811D-07A9348AC057","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097640$4D2DC3DE-7326-4B4D-BB65-17EFD1523343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097640$023AC1FD-CDB1-4B3B-ABA1-B7F312A3FE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097640$477BE574-A0FC-474C-B942-10B913900E8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"427521128a46b68bbdddd329b137b6ed8f7ac0af","datavalue":{"value":"7576131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097640$567C7E7D-479C-456F-BCE8-F1853999B2C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097640$0F7DD268-C9CE-4A86-8772-59377B9C636D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"044aeb6b3f4ae1aed942993bee877a7d90ad731d","datavalue":{"value":"program inversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097640$3CD110DF-2298-4416-A642-9743897E2DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4e1e581ddaacb64b25af198d49437baacfeba9a","datavalue":{"value":"conditional term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097640$EB7C5646-6B76-4DDC-A295-F34AF2093260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097640$88D7ECF4-5964-4CF5-B733-B55676C9D0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5988cdfcbf1ce6e4802e928cc064e7f5a87bcfa5","datavalue":{"value":"functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097640$E5158699-E1E9-44A3-9A66-666569E967CD","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":"Q5097640$33C13FB1-0569-4F15-B551-38CBF209BD6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d26fb2d13b2b17be00f667921fc576a0be7f99f","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45260-5_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5097640$E18C4552-7857-4122-A642-8948DC555B35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54915998108b7284e5be42ed5bbe364194411229","datavalue":{"value":"W3018857170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097640$07FB9688-667A-4EE7-9220-9A28FB7A28C4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ac87fc40b4a0660d439ebb4ce2149abaf2f23ef1","datavalue":{"value":"Q125525904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097640$E5FB575F-9EE0-4774-95F8-5F3578E889E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b506ec9f838ead83a8c07250eb4b64a2470f4e7","datavalue":{"value":{"entity-type":"item","numeric-id":700978,"id":"Q700978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097640$036549B1-ACC7-49F4-B18B-AE770473557C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0acf0d5c7554b116bb4c18562bb16c21520eaf45","datavalue":{"value":{"entity-type":"item","numeric-id":3612954,"id":"Q3612954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097640$0680CCAD-4E40-46ED-8D73-D1B12C2EECCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a81340bfef2ef6b462fa77bd5c6ea91b468835","datavalue":{"value":{"entity-type":"item","numeric-id":968524,"id":"Q968524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097640$FDC75562-88B2-4C07-BAFF-F5A15A27CA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bee5a6d227a942412fcba1b1507aa14cc9bd941","datavalue":{"value":{"entity-type":"item","numeric-id":3499767,"id":"Q3499767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097640$603CA009-07FC-482C-876C-ED37B7B14E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097640$E7FE7B81-B589-4475-BA09-7176826E0F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce5d63a008d9d00801fc76c5a3fe184731ba252","datavalue":{"value":{"entity-type":"item","numeric-id":3907049,"id":"Q3907049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097640$63F83219-408E-4A6D-9CB1-9F83BC649E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dcaa30fd5914acabeb648d22b00861cff79c42e","datavalue":{"value":{"entity-type":"item","numeric-id":5902364,"id":"Q5902364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097640$DC5F3A0E-CA18-45C1-914B-C8E2486D5CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06fb8dbce4eb45cbece57afbd9b64bd437f704e","datavalue":{"value":{"entity-type":"item","numeric-id":5472880,"id":"Q5472880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097640$828F0391-0253-4CA8-B286-684D30C8B4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83880f170299ba13e2e839890cba27cc20df7932","datavalue":{"value":{"entity-type":"item","numeric-id":4305632,"id":"Q4305632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097640$3023D63C-533C-4FF8-930A-9304B4909F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c445290460d2abb21d142cb7393ff99b258bea9","datavalue":{"value":{"entity-type":"item","numeric-id":1929232,"id":"Q1929232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097640$3B9AF3FE-E6EE-4069-B153-9B10E7B4E285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a26762e4536f97cb1a68f9806bb9b7be5216bfc","datavalue":{"value":{"entity-type":"item","numeric-id":1683707,"id":"Q1683707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097640$8E89D361-B27B-42AD-A8C6-F873935F1475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d625c283c10bd2220d45f8210b1cf47bdfab987e","datavalue":{"value":{"entity-type":"item","numeric-id":5703855,"id":"Q5703855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097640$ACD0CE65-DBD4-49AF-83C2-B787A8BFFF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24149b905b46045e1dfc14b807b4a2f6e4b5b190","datavalue":{"value":{"entity-type":"item","numeric-id":5389087,"id":"Q5389087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097640$045FC144-469C-40C0-886E-058D9E24D760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8116abcf782f1eb265d3367f1bdda8229b59ed2","datavalue":{"value":{"entity-type":"item","numeric-id":4938421,"id":"Q4938421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097640$A975DFF1-4060-4979-A8F0-38F183F21E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097640$87C252FD-09AC-4F6E-9581-AA95CA3C1EDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39aa57feade583dd8ad6e252eee93494b0860393","datavalue":{"value":{"entity-type":"item","numeric-id":5703855,"id":"Q5703855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e858be0c00c2504dfc2e0b5a086f5d2f86d4c7ca","datavalue":{"value":{"amount":"+0.8046468496322632","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":"Q5097640$B92C78EC-2E05-4379-8CE9-B1C37AFF9DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee1193bed764f2d3213fe54906d59de75e0dae0a","datavalue":{"value":{"entity-type":"item","numeric-id":5389087,"id":"Q5389087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c646a724f138ef09a7ef7f208953c2c0b357be0","datavalue":{"value":{"amount":"+0.7642396688461304","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":"Q5097640$576D37B8-3973-4E96-BBC4-ED1A5D5CD79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d1a24e66bd1cdc7b9bd3d53b99c22f024b0d80","datavalue":{"value":{"entity-type":"item","numeric-id":5902364,"id":"Q5902364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc3e64e429f9a8d48c79ee6ce69dd03dcec4fd19","datavalue":{"value":{"amount":"+0.7552112936973572","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":"Q5097640$EF018FB2-2645-414E-8078-9239612552DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64b17bbf352aa8bbbf79963e0c2787d45482d67","datavalue":{"value":{"entity-type":"item","numeric-id":5170160,"id":"Q5170160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b9d55afb5ddfa670c797e36df42f23be71acea","datavalue":{"value":{"amount":"+0.7436103820800781","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":"Q5097640$D9D1A45E-4348-4C4C-AFF9-CD36AA62AC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79215459a5db7fba89036ef61e6264a90ffe5341","datavalue":{"value":{"entity-type":"item","numeric-id":3612954,"id":"Q3612954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"989b807a1ad6bd24fee46f66822f19d1d833dc3a","datavalue":{"value":{"amount":"+0.7365182638168335","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":"Q5097640$AF9C3E48-17A9-44F1-B0B1-DD5BEC29D351","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5097640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5097640"}}}}}