{"entities":{"Q756406":{"pageid":758255,"ns":120,"title":"Item:Q756406","lastrevid":49471891,"modified":"2026-01-07T05:25:48Z","type":"item","id":"Q756406","labels":{"en":{"language":"en","value":"Grammar-related transformations of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4191087"}},"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":"Q756406$5F600D7F-FC11-4419-A927-B0BE166A5282","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94ce0713ab3460b97a48f37210c6b97616a0a3d4","datavalue":{"value":{"text":"Grammar-related transformations of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q756406$3F21157A-51D3-4FC1-9616-379757E19B7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0e4d824793173d67eee70c99078a163e423d7ef","datavalue":{"value":"0722.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q756406$EEB4691F-A21F-4CDF-964C-3D04CB868465","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87f35b0f908969b4b6c393ccfec32a849381a034","datavalue":{"value":"10.1007/BF03037639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q756406$F071E1B7-887F-4114-AF1E-977F9FCF37CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb7f82d8d1adb5f3bb39c35c72804272cb7a96ab","datavalue":{"value":{"entity-type":"item","numeric-id":756404,"id":"Q756404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q756406$BF5CC77F-F742-4B52-8D5C-96A7A69A13FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fb0bb13ba569405da14243569bb5cb62772cfba","datavalue":{"value":{"entity-type":"item","numeric-id":1326575,"id":"Q1326575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q756406$A5469368-CF24-4B1B-A326-3FD944433F3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q756406$209365D3-C802-47CF-818D-162A6358D04C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q756406$C3AD3523-E852-4422-9854-D154F1AE89BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q756406$E57AB418-BBDD-4390-929B-109BFD259DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q756406$AE67AE11-B40B-46B8-8DAB-7EC06A90CA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q756406$91736CCD-DCB5-4811-8E1C-6559F063DD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q756406$253821B1-3F53-4295-BC4B-C67CCA033E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q756406$B24C9C37-5F9E-48E8-A482-4251C9398F2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a6da117539c1de47c8ee072b9916d63236092e7","datavalue":{"value":"4191087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q756406$8E017FCB-DA38-462B-807D-C19CCE759D32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0892b6e9e2c60e42b1cfda9d359fd5f0302a7db0","datavalue":{"value":"prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q756406$9A7EA509-B850-4335-AC41-D26B104ED39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q756406$E9F97698-6984-4A2B-A4EE-964F9E486E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571d2e4140db82bb8e80c52beddd8d351eaed891","datavalue":{"value":"forward reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q756406$CA279C8E-228C-4B97-8E81-A2FF24055A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q756406$D9132DF9-B9E0-4BFE-B5E7-B24DFADB8D34","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":"Q756406$FAC6BB96-3F8D-43F3-AEBB-12DAC9C7DD6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac83eb4683a1ec6e27fc8f57dc6fe209b1ece068","datavalue":{"value":{"entity-type":"item","numeric-id":3768370,"id":"Q3768370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q756406$8AC6F14F-F18F-408F-8E2F-18A1AA886AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bafbab41ddd836803f74b722f2a7a9e217c51fe","datavalue":{"value":{"entity-type":"item","numeric-id":5545064,"id":"Q5545064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q756406$E24115D5-69F2-4F93-8C49-6AE112765762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81b515d530f656c0af75af0abb7532463bffa68e","datavalue":{"value":{"entity-type":"item","numeric-id":5735561,"id":"Q5735561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q756406$8028B54D-83A6-4ABD-8E60-E241FAB9D625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95fd3739a06e35ce86850f3869b39c7ab10f748e","datavalue":{"value":{"entity-type":"item","numeric-id":4184361,"id":"Q4184361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q756406$0CED01B0-C5BD-4C68-8DA2-390E48F2511C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8a79af3c28ca6a85273f2cf60e4233483e6da8","datavalue":{"value":{"entity-type":"item","numeric-id":4051550,"id":"Q4051550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q756406$983DA52B-6E49-4ED1-93EE-D424F4620E1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc9cef6d83934bc5ba459cefc1bcaa446088810b","datavalue":{"value":"https://doi.org/10.1007/bf03037639","type":"string"},"datatype":"url"},"type":"statement","id":"Q756406$AEC04A9D-177B-436F-A23C-130777901FE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b63648021e43df97a95cd408b507af71e40e0c92","datavalue":{"value":"W2076100169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q756406$B1A28E12-D2BE-4F38-9A64-90B019EF012B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20286e8af150e1172ba3d53021d18495c85c7547","datavalue":{"value":{"entity-type":"item","numeric-id":6483351,"id":"Q6483351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29e98d80f8a1adfa56296553930d16aef250bc9","datavalue":{"value":{"amount":"+0.8268802165985107","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":"Q756406$26841B67-415C-4F13-B03F-A2CEDEBFDF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba08af075418b24fefacdb992be0b95376ac131","datavalue":{"value":{"entity-type":"item","numeric-id":5930885,"id":"Q5930885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5885cc43e2b2965e92580af5a07635c8b61a9bff","datavalue":{"value":{"amount":"+0.8199228644371033","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":"Q756406$1F9BFEDF-31C9-400B-AAC6-A44335B0C1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47668e36d63c7cf6e39deba496fb556724f33504","datavalue":{"value":{"entity-type":"item","numeric-id":4517379,"id":"Q4517379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0eede8e544b3fa646d3240ec498becb37b6f28","datavalue":{"value":{"amount":"+0.7913012504577637","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":"Q756406$0D7A843A-7226-412E-801E-0A28B08E15EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f9961865a7bc3ad29945efc566bde2665a7c910","datavalue":{"value":{"entity-type":"item","numeric-id":4819011,"id":"Q4819011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61237acbb4176cf6e9779cac6d4e02d7585f4f3f","datavalue":{"value":{"amount":"+0.786142110824585","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":"Q756406$063AF478-95F2-464E-9E9D-506DF90FF8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a00cf10a25297ea5edc58c0455ce53a5d25cf59","datavalue":{"value":{"entity-type":"item","numeric-id":2723924,"id":"Q2723924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"434df5dade604626ef661462acfb5a87f25eab10","datavalue":{"value":{"amount":"+0.7824898362159729","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":"Q756406$964002F2-674E-4196-BA65-1598805D8F76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:756406","badges":[]}}}}}