{"entities":{"Q4916230":{"pageid":6945811,"ns":120,"title":"Item:Q4916230","lastrevid":91002578,"modified":"2026-06-04T22:00:39Z","type":"item","id":"Q4916230","labels":{"en":{"language":"en","value":"Learning strategies for mechanised building of decision procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6156039"}},"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":"Q4916230$9B895636-F5C1-438C-80BB-286ED39E6853","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"438591b9a22a225a39e7b1338e4511d13c7a3d5f","datavalue":{"value":{"text":"Learning Strategies for Mechanised Building of Decision Procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916230$F1894BC8-3434-4F8D-9F00-41F34E5405D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09b47a6e0042a9f0c6c17d06b6db8e389f8f1a34","datavalue":{"value":"1261.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916230$E11CBC01-EDD9-467B-9222-C152AD83A891","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0fc15331c53a1089467cac02ae13445f48768af","datavalue":{"value":"10.1016/S1571-0661(04)80662-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916230$B09C08BF-B7E0-4418-9FB0-6904C9756BF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"284fbc1bc15076f8bcaa5ac2c8ac8b95878097ea","datavalue":{"value":{"entity-type":"item","numeric-id":946571,"id":"Q946571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916230$E015FC48-188F-4B40-A32A-A031D1C16F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c93dc7f088015e9cd1eacb5d2c04306baf043d99","datavalue":{"value":{"entity-type":"item","numeric-id":286775,"id":"Q286775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916230$66829CDB-0BA6-40D1-B020-6F256CE7B3DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916230$DA2B093D-9675-40E3-8DF9-8F053C6A3BA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916230$C82D1BDE-7182-4E0C-B9C4-880F569D8000","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916230$42192E84-F98B-4887-AC6F-6799D08B50CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916230$7DC583CB-9C74-484E-937B-DF9F42B99E0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d79728b0b3822a62824987e8fd4470c953a0f1fd","datavalue":{"value":"6156039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916230$EC213F51-23DE-4A36-A573-2465802D4501","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916230$DE735D62-CBC4-4460-BBA5-F20CA06D835C","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":"Q4916230$53F00D6F-C72E-4009-BEC1-A900F750593A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b4e958fd44810ecb0e6a0ceba82e4c2cf176a139","datavalue":{"value":"Q62046892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916230$C846A081-41F9-4B64-9E47-BC880E5C2929","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"473236154e33a40bad762b19d632e6230db77ee3","datavalue":{"value":{"entity-type":"item","numeric-id":4785507,"id":"Q4785507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916230$6960C7A8-E1F7-497E-8ED1-76D93DFA8C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb3e97929024d2ee37616602a13d3244533bbb2","datavalue":{"value":{"entity-type":"item","numeric-id":3835049,"id":"Q3835049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916230$5AB095F0-B316-4388-A322-61B46C7B47D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a238ed6c54d87ec163b1a7cb181d6ef07206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3804239,"id":"Q3804239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916230$23697D70-AD89-4639-8E4A-8F8C54896BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc26d64b6dabe1cc6610369af2d7f63f437d8ba8","datavalue":{"value":{"entity-type":"item","numeric-id":4809052,"id":"Q4809052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916230$830D3C2A-E3E5-41F2-A0F2-AC7E439BBD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d338e06cf9942819965d2c816cc3ef86f90f016e","datavalue":{"value":{"entity-type":"item","numeric-id":4465166,"id":"Q4465166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916230$1362E8B4-EBEF-4BA5-861B-32428A85F1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86decea48754e391438a388354722a9a53c889af","datavalue":{"value":{"entity-type":"item","numeric-id":1610671,"id":"Q1610671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916230$CE24A0A5-3DD6-4153-9079-7FC07650B6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c098caa0a380d6bdef423215536f4217fbcedc34","datavalue":{"value":{"entity-type":"item","numeric-id":4708424,"id":"Q4708424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916230$E0146D21-30CD-4463-9F37-2529DB0681EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bbe72cc116925a801c6363ae53a473520b6daad","datavalue":{"value":{"entity-type":"item","numeric-id":688575,"id":"Q688575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916230$44F93C96-F1F4-4365-B6E0-FC3E82858FBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac5200d8917ac339c69e3e5a486b4757b3877ecf","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80662-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916230$79A9B172-0A37-4E4F-972A-30CCD5DA03DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28993c9cf5bc639c30067960805534154b597745","datavalue":{"value":"W1966217052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916230$E11392F9-A969-463F-BD31-3E10B0E54A91","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"6fd4102dada15ee1fd5310b54678d1f4d11a084b","datavalue":{"value":"journals/entcs/JamnikJ03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916230$0916BB45-4243-4AE6-9628-8996F6A8A00E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b96dc424d3cf80b46aa7997240af77306747b63","datavalue":{"value":{"entity-type":"item","numeric-id":1267772,"id":"Q1267772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02afa61d3f2d59228232902babba39937f466271","datavalue":{"value":{"amount":"+0.761891782283783","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":"Q4916230$DD301643-03BB-4D5E-9277-18E1EEB980B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9412106a815dd64ee4c697e3cb855a68d25603d9","datavalue":{"value":{"entity-type":"item","numeric-id":5428261,"id":"Q5428261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73d68cc390088703e164e7e467266f6dd44f4a0c","datavalue":{"value":{"amount":"+0.7598668336868286","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":"Q4916230$5F80F333-280D-47E7-9EDC-0EA4832AF281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee8b4c79deb3aa57ce2641b4039a91462d9cc63","datavalue":{"value":{"entity-type":"item","numeric-id":4465166,"id":"Q4465166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b0c29c5e2f80db0a8177292d3d8a07309c9e98","datavalue":{"value":{"amount":"+0.7525051236152649","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":"Q4916230$C99B58E4-5ED6-4631-A085-4F5DF8ED0146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6df2b11abe04d7af62ca2035ca6a0cfd7125dc25","datavalue":{"value":{"entity-type":"item","numeric-id":4809052,"id":"Q4809052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7170372b2fb6e3cbb4fca1c5210a760a6f6ba3b","datavalue":{"value":{"amount":"+0.7407814264297485","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":"Q4916230$AC4DE4F2-61DB-4719-9DE6-98E8307B3A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"904181582e9db5f13343bbb896d848cf85c3db9d","datavalue":{"value":{"entity-type":"item","numeric-id":3021913,"id":"Q3021913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff78365b9616d5cbca4aa83a0e2378784858a34","datavalue":{"value":{"amount":"+0.7398642301559448","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":"Q4916230$D6DA0612-4A87-4C9A-8BFE-55669FE919DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Learning strategies for mechanised building of decision procedures","badges":[]}}}}}