{"entities":{"Q3613403":{"pageid":5643309,"ns":120,"title":"Item:Q3613403","lastrevid":49685260,"modified":"2026-01-09T01:31:03Z","type":"item","id":"Q3613403","labels":{"en":{"language":"en","value":"A Logical Characterization of Forward and Backward Chaining in the Inverse Method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528278"}},"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":"Q3613403$37C24A2E-97DB-460E-B327-01042FEC3911","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aafe626e35161620082d9afa375d23d009d37c94","datavalue":{"value":{"text":"A Logical Characterization of Forward and Backward Chaining in the Inverse Method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613403$9C393D76-4A76-4F0F-96FC-365A232BF4DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39d6d6de2f77fe06f878cd6e3b960442fa6de75f","datavalue":{"value":"1222.68358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613403$E01E7514-96DD-4391-BB0C-4E34FA18E6C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c05da3ffe444692919d1272b03f90920da900c0a","datavalue":{"value":"10.1007/11814771_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613403$53AE5D7D-DDED-4627-9C96-2199F45F6059","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20c32845a86517c3925e9fa1724cfe5786b42b11","datavalue":{"value":{"entity-type":"item","numeric-id":928658,"id":"Q928658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613403$4309442A-286B-40B2-91EB-A6A71AD5AAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59868cb1e8a689ff709b5cc22c54ac21e9737717","datavalue":{"value":{"entity-type":"item","numeric-id":928659,"id":"Q928659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613403$19E19D05-9E5D-475C-824F-2132E8D318EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613403$1842BB8C-3915-4CF0-9120-1825498EE664","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613403$8E041CE8-1EA0-4520-880A-AE2F06457886","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613403$11E95E32-34B9-496D-91AF-7309D1CAA0EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613403$003784CA-D5A7-4C87-9CE8-29B86CDD3B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613403$A554A23E-0A8F-4DAB-A4EE-03FA4C1140F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613403$7083DEF8-DD68-4F35-9EDE-F4FD1FE646B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf806d18359bb9b5369354fc3ed63487653da103","datavalue":{"value":"5528278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613403$AE2EA305-E312-4EEE-B2D9-BFF10BE83A6D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6f0aa77e475c4664199396d1dc04a1aa751a004","datavalue":{"value":{"entity-type":"item","numeric-id":23925,"id":"Q23925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613403$DAA7879D-F0E8-4F41-9324-FE1B8A7EC588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb3edc89650c4076d0b4ea16fb243ec7c06ec7a5","datavalue":{"value":{"entity-type":"item","numeric-id":23927,"id":"Q23927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613403$FCFC93EB-BC50-4FE4-841C-BCD7BE17A9D3","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":"Q3613403$448C25DB-B72B-4090-9049-C67D3D53957B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84c19a575e09b44db3346faeef2b3c4c34172a00","datavalue":{"value":"https://doi.org/10.1007/11814771_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613403$61EFCFFD-27B6-48C0-9238-16995F37F8AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecba9f8628710672a47696eb869a446128a07e96","datavalue":{"value":"W1797159706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613403$FD997D1B-B481-4AB4-8080-FAC491D77FE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea81a421aa44ac10016fb7cde17905ba717b215","datavalue":{"value":{"entity-type":"item","numeric-id":928660,"id":"Q928660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613403$26739A43-A772-4610-AABC-023D8A2334A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71274504e39e0b2e4b7d18cdfe702c0ad24e4a8d","datavalue":{"value":{"entity-type":"item","numeric-id":2703718,"id":"Q2703718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d326feaad1f64f4c1f86daf76b8a5040b43f03ca","datavalue":{"value":{"amount":"+0.87643933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613403$ECFC91B1-7436-4C47-B69A-FF9358083BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fecaf5d9c86b134261a13b9db086904b8d4b9fc","datavalue":{"value":{"entity-type":"item","numeric-id":5394578,"id":"Q5394578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56bf8d622f1ceeea4b6d6598db6d43b2830323b6","datavalue":{"value":{"amount":"+0.8618032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613403$4FCB927E-026F-410C-B018-F216D3F7CDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6bde130b4267059170040a3e4c0797abe92f105","datavalue":{"value":{"entity-type":"item","numeric-id":5705943,"id":"Q5705943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5869fc4c77a2a30d9c7c98709d68e61d87f744af","datavalue":{"value":{"amount":"+0.84705025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613403$910EC54E-54E1-49B7-986C-F4E42C441F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e629d1cd6ffbd991fdd8c8388457a782a8aefe2","datavalue":{"value":{"entity-type":"item","numeric-id":2806784,"id":"Q2806784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1118ed836c37ba421b0b196df0eb8d6a8e6bfa1c","datavalue":{"value":{"amount":"+0.8470306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613403$4214E542-02D1-4E3B-AAE6-D7D5B340595E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6229ed6ee13a0235fa98404c346ac6cd6ce20b8b","datavalue":{"value":{"entity-type":"item","numeric-id":1193483,"id":"Q1193483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe7d3805a6080bf1c40d364f286555e9649aaad","datavalue":{"value":{"amount":"+0.83135116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613403$C7092F71-96BF-4684-9431-FED0FA5D7C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c72fcb50e5dc1b4f08ce52f1dfc4bbb9c691e78","datavalue":{"value":{"entity-type":"item","numeric-id":900436,"id":"Q900436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"212f03b1183e9affa48694e0a8dadb85256fecf8","datavalue":{"value":{"amount":"+0.821974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613403$C6A29B8F-1C03-4ADD-8F6B-D7C7E9369D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b251862e32eea1baa580289e45f1af2c885b8dff","datavalue":{"value":{"entity-type":"item","numeric-id":3179402,"id":"Q3179402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"994919e764ae3d89ee59de90ce812bdf4e952769","datavalue":{"value":{"amount":"+0.82110006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3613403$E7D97F71-3BEC-4234-80DD-4454A2DAAA93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613403","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613403"}}}}}