{"entities":{"Q4560356":{"pageid":6589946,"ns":120,"title":"Item:Q4560356","lastrevid":47906668,"modified":"2026-01-03T01:27:11Z","type":"item","id":"Q4560356","labels":{"en":{"language":"en","value":"Inductive synthesis of term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6992067"}},"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":"Q4560356$A6095ADD-E71F-4820-8BD2-79FF78135328","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f2211deb5311774bda61f1dcc42324a2635eab5","datavalue":{"value":{"text":"Inductive synthesis of term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4560356$EEDAB089-0391-4632-8875-1E4EDF227985","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fc3fbce78e42e6003d4ba44c49a6c10ed50f983","datavalue":{"value":"1412.68290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560356$0D6744B6-D5B6-4D82-8EC6-DC5C9043B5EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f622f9bc1445c025c8779e4456b1569ca80d7691","datavalue":{"value":{"entity-type":"item","numeric-id":1091110,"id":"Q1091110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560356$44528817-51FE-4611-B31C-990A5C0B1D80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3debad901ba3f2473ce6548d6207f925a5175016","datavalue":{"value":{"entity-type":"item","numeric-id":4560347,"id":"Q4560347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560356$025E2E37-4D41-4AC5-8C6A-3C06ECCA03D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8096502b9da70fcca6bebcdf976f1e511fee9ef8","datavalue":{"value":{"time":"+2018-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4560356$DAEF0CBA-8651-423E-8D99-82DAA7155CC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bcdc2a107fd2414d151e8610f3471a8784e75bf","datavalue":{"value":"68W01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560356$4ED00FF4-897D-4165-95E9-7982CF4409CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560356$A6B7DB16-01BC-47B0-ABA2-A71D2E14ADA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560356$C6D6AF99-1AFF-44EA-A777-573AB67F4E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560356$D946B4B3-395D-4477-BC43-05B46D3DB68E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5e8c426fc474ab9a9de3811cbf763e9f6afdf4f","datavalue":{"value":"6992067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560356$2EA79F46-7768-470B-8502-9DD6906AFBCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffe20c00b383202e93920591b135b450db031ea","datavalue":{"value":"main term","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560356$ED6186DF-0556-4474-982A-DA1766512457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bca991e55aca2cc687cd17d911f9dcb07aa6e44c","datavalue":{"value":"ground term","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560356$01E8F16D-C61B-482B-9D74-A704D3F55874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffcf14828f002978e94eedbe56b261fb0f8602d7","datavalue":{"value":"constructor function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560356$57ABD1DE-A42C-4CB0-8A4B-0096E3376D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da89a1358d0f802139a8fe7d622b2ab07ea247cd","datavalue":{"value":"abstract data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560356$D6154B27-04AD-40E9-8EF0-15DC5D672A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ef74820ec3f29beca85f99198f676c2e27ce060","datavalue":{"value":"inductive synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560356$5862ED78-E4E6-4D79-86FC-AD4BFD201821","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":"Q4560356$50F7586C-D3D1-4E80-9E92-034DE4709E20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6422ef138be173ca7bc1ed6caff5e742dc3bc0f8","datavalue":{"value":{"entity-type":"item","numeric-id":1149795,"id":"Q1149795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560356$7909E024-BA9E-4353-AE34-6FA0F2A39115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2663536ef7782e36a16f1aa6cd56148c3ed6f6bb","datavalue":{"value":{"entity-type":"item","numeric-id":1179710,"id":"Q1179710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560356$1E118FEF-7CA7-4F30-816E-B6E06998623C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c7c554d960ef3800c970fb8a2f23e4cfafb856","datavalue":{"value":{"entity-type":"item","numeric-id":4122774,"id":"Q4122774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560356$F6CF43EB-1CE9-4983-8D88-2044451E850F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fca34043a30ee00dbdee4541153c8d8c6f9798","datavalue":{"value":{"entity-type":"item","numeric-id":4162631,"id":"Q4162631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560356$FDDA25F0-D7C4-41C3-A103-027F06A882E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c382fc9e30bde28c8600c124e2af3fd3ef4421","datavalue":{"value":{"entity-type":"item","numeric-id":1822523,"id":"Q1822523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560356$A1E53868-6247-4E45-89B6-CB761EE7214B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e69d98e570d173176526f6341d5f3b4d9ad0255","datavalue":{"value":{"entity-type":"item","numeric-id":5668012,"id":"Q5668012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560356$4AEB6F87-B77F-4FF6-A981-374D4BFC7CFC","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":"Q4560356$8259274D-EDED-4AAC-BBAE-6B17DF87B8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560356$CF465C73-4DBF-49B7-BA8F-F6DA7F080091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4b0e749695597a922fa42d8c428aa436a92994","datavalue":{"value":{"entity-type":"item","numeric-id":4111079,"id":"Q4111079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560356$BB6D45EC-B470-49B5-804B-60611EFBA22E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4ccfad341397a423df331dd97fe262037876185","datavalue":{"value":"https://doi.org/10.1007/bfb0019361","type":"string"},"datatype":"url"},"type":"statement","id":"Q4560356$DCD4B107-CEE3-4C77-9460-8906C936579D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a76075281d5f83894b743c8ebd720dae07206d4e","datavalue":{"value":"W1501813452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560356$A163CCCC-FC3C-4C23-8B2F-833AD86D1BB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"141c738033a55cceadd210b696fd7e1b2b11d38b","datavalue":{"value":"10.1007/BFB0019361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560356$DA5A7E41-6532-401E-A708-14570B01897E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a790ab80bf27e5ca5d22eb3195887ef6f846422","datavalue":{"value":{"entity-type":"item","numeric-id":4442870,"id":"Q4442870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66b7ce6abca378d3b4bf2ebe94189489cba99c1c","datavalue":{"value":{"amount":"+0.7634311318397522","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":"Q4560356$D77D90B5-5E69-42E8-B2AD-A3625C60E3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4549ee13a06cc5a2f7dd7524c6dc3fcd2d20ab0","datavalue":{"value":{"entity-type":"item","numeric-id":4378288,"id":"Q4378288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c795760ee479890b2c95e0402ac9f527c1f78264","datavalue":{"value":{"amount":"+0.7631947994232178","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":"Q4560356$5079C693-AA46-45CB-8E32-3A6EC4139F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15cc454a88081bf719632b46f1a4ac0ba20b5a57","datavalue":{"value":{"entity-type":"item","numeric-id":5492341,"id":"Q5492341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8edf71e699af3f9635eafa41235c382c57855630","datavalue":{"value":{"amount":"+0.7584781646728516","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":"Q4560356$18A2DE38-DD82-4851-8363-6FC75906D063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c1d81dbc73fa8dfdf4fd529112dd56094641df","datavalue":{"value":{"entity-type":"item","numeric-id":2497804,"id":"Q2497804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec8b594a1e4612abb7dab0deb34c2d1e31e828b6","datavalue":{"value":{"amount":"+0.7553514242172241","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":"Q4560356$DF77E06A-469B-4C09-BAA6-56091CEB3057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9581fb81b152a933ba6ed8384474206c19110102","datavalue":{"value":{"entity-type":"item","numeric-id":916263,"id":"Q916263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565472f0ab261212478f886aa153d28a9b627c8d","datavalue":{"value":{"amount":"+0.7368701100349426","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":"Q4560356$51FB30BB-7477-4991-A0A4-73B4A1A3EC78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4560356","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4560356"}}}}}