{"entities":{"Q4939538":{"pageid":6969120,"ns":120,"title":"Item:Q4939538","lastrevid":90999374,"modified":"2026-06-04T22:00:07Z","type":"item","id":"Q4939538","labels":{"en":{"language":"en","value":"Conjunctive partial deduction: foundations, control, algorithms, and experiments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1399930"}},"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":"Q4939538$6CE1DCDC-28E9-4E3F-8DD3-C4A02504FB00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af598d5996ccee35196a625818c0936951dd9c8c","datavalue":{"value":{"text":"Conjunctive partial deduction: foundations, control, algorithms, and experiments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4939538$CDB92D73-AB17-4539-8637-FB088D2146B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07d61a0f5cc202403dc4ffeb803e961b51b3eb91","datavalue":{"value":"0944.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939538$EE268087-B825-4B0C-A9C8-45085B70F854","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a833dfddad9bed1d890a18fd61ccc76ba5345e0","datavalue":{"value":"10.1016/S0743-1066(99)00030-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939538$4D34908B-2EFD-493A-86B5-81B147501FDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19ef65edb47a3907b8782d56d731ecf0cd5121a4","datavalue":{"value":{"entity-type":"item","numeric-id":199253,"id":"Q199253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939538$55333118-095D-490C-98E8-7FADE67B8900","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":"Q4939538$0D458CE7-EFFB-4DDB-B573-97478BE930E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a1b27255e0dfb57dfb9201d38455884d7c5c6e5","datavalue":{"value":{"entity-type":"item","numeric-id":4499251,"id":"Q4499251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939538$F1307A90-3207-4F6B-8E8F-D6E1CCDF5F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f18d6b5c094a5b54491448ffca180723301eb8f","datavalue":{"value":{"entity-type":"item","numeric-id":418180,"id":"Q418180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939538$10165FA3-D596-452E-B499-C57F654DF128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64342d65a8f601046a51bd27eaee9c65db10c9b7","datavalue":{"value":{"entity-type":"item","numeric-id":809589,"id":"Q809589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939538$AE3B2CEF-6FAD-48CE-8685-488375C488F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2875aee90fd87423322d2627d32e4150c27948c","datavalue":{"value":{"entity-type":"item","numeric-id":1125573,"id":"Q1125573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939538$841A49A4-C52D-4778-8345-915430B44632","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939538$7F9929FC-A1E1-478B-90C2-92F491EC8945","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3181eec55d6fadc7128215edae5f001921ed72d2","datavalue":{"value":{"time":"+2000-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4939538$73225FF3-1315-4B57-B932-BA5AC4A21452","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939538$AE4BB223-9A18-43A1-A1AD-4CD312960EC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44473fc27cd52293f935fd739abd5dcde0725e2f","datavalue":{"value":"1399930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939538$3336B095-5A21-4536-BE08-AC9634F7B9CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"505c2577f408963c94d2316f2a7e3ad858289c73","datavalue":{"value":"unfold/fold transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939538$11EC6975-0F75-458E-8502-F617F2E6910B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d48061c49b9edb22fd1998469ba88a705b7aa49a","datavalue":{"value":"conjunctive partial deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939538$28F143A4-4B3F-46F0-950C-399EA9493C0B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"72eb6edfc7db2c672142a5649f903884979b29b5","datavalue":{"value":"Q62038272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939538$4FD28867-C2DA-487B-9B3F-589D91D17C44","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"970e99c9bc3dc9625d7c5e330adbb28ce852057d","datavalue":{"value":{"entity-type":"item","numeric-id":21863,"id":"Q21863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939538$6FF86780-988C-4C57-A745-EAC47B2A8C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91dd7e13f71e3e62484b361def521e363c006e6b","datavalue":{"value":{"entity-type":"item","numeric-id":16380,"id":"Q16380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939538$F4BF5A38-0505-4497-910E-A9F9BF8A7E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f900c00b9c1039bd7128859b5e56ec82deed0417","datavalue":{"value":{"entity-type":"item","numeric-id":20342,"id":"Q20342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939538$2BAE580B-F864-4292-8D45-047C943B0E63","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":"Q4939538$A9DE0746-558B-4935-A66C-D4977DC5DF54","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"69252b79714730369a414eb8b651ce574d9da2f8","datavalue":{"value":"journals/jlp/SchreyeDJLMS99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939538$02DA14DF-CDA5-40B0-91DF-A89E0C3137E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b2295c3212f6e94e6b728364fd7b571316fae5","datavalue":{"value":{"entity-type":"item","numeric-id":4365083,"id":"Q4365083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad917b59209fee1f71188ff2d741e259b5c35d08","datavalue":{"value":{"amount":"+0.88331","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":"Q4939538$CEB197BF-8FDD-4864-9E87-F313EE11D332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9217e7475f48800aa2a6881a8ed5efe5ae5133bc","datavalue":{"value":{"entity-type":"item","numeric-id":3003494,"id":"Q3003494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdfce9c24d9cb0159861c34b50dc417dc1a48649","datavalue":{"value":{"amount":"+0.8787398","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":"Q4939538$92B52312-9E16-4058-98BC-B3972535E139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae0a4ce56cc4803d2e5112e12266cf2cb676d5ec","datavalue":{"value":{"entity-type":"item","numeric-id":4506395,"id":"Q4506395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e60fb88109e5634f430ed44fe6e37741471b02b4","datavalue":{"value":{"amount":"+0.8780054","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":"Q4939538$5B13D48A-04E8-4748-9DF0-21C5E90ECB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a708bd95fe19950e3ee44ab1250de3085d9f51","datavalue":{"value":{"entity-type":"item","numeric-id":5286918,"id":"Q5286918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f0ad9bb3e1e6ee7cc0ff36a017e7852b974864b","datavalue":{"value":{"amount":"+0.87397754","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":"Q4939538$252DE74B-1AA3-409D-AD48-BA94C6A0249B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d0c76052d8ae4b8b5f74dfdf205d7d811255b1","datavalue":{"value":{"entity-type":"item","numeric-id":4452606,"id":"Q4452606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"621a05aef24bb27b7b234df59f8ec760220f2021","datavalue":{"value":{"amount":"+0.87100375","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":"Q4939538$DB4FADE9-A3B5-4B05-84F3-FA30E5BD3A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e6b58b895aee08728cf00bdd1bfc3a9a9f593f","datavalue":{"value":{"entity-type":"item","numeric-id":3783630,"id":"Q3783630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97dab8c7985e546a6824e621149c57eca475a650","datavalue":{"value":{"amount":"+0.86685205","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":"Q4939538$3BBEDD82-AAAF-410C-9697-BDD678780C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583aa61fef5fea1238434601da5d9e1d21504309","datavalue":{"value":{"entity-type":"item","numeric-id":3495342,"id":"Q3495342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a7a95c3b64e4463f660aee11e3b5a02cfecc7a2","datavalue":{"value":{"amount":"+0.8648381","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":"Q4939538$9B212730-6A66-4662-B324-A8B1C366CF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c0fc1669a1774ca165692a2d957b1d6aa9b6223","datavalue":{"value":{"entity-type":"item","numeric-id":1370627,"id":"Q1370627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b67bb972374ff79a830c2c75e6dd94d5286de268","datavalue":{"value":{"amount":"+0.8628879","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":"Q4939538$7821356F-1007-4222-B656-B5D42E8FBA5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conjunctive partial deduction: foundations, control, algorithms, and experiments","badges":[]}}}}}