{"entities":{"Q899436":{"pageid":901284,"ns":120,"title":"Item:Q899436","lastrevid":65191056,"modified":"2026-04-12T00:54:54Z","type":"item","id":"Q899436","labels":{"en":{"language":"en","value":"Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6524434"}},"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":"Q899436$09A1387D-AF63-4ED5-98AB-8BC90E7523E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ed6bcba90877f87f043336c61a13785bea36b73","datavalue":{"value":{"text":"Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q899436$9E3A091F-C8C6-44D0-9934-9384574790E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae141dd56c1de50fe11318089309a7e986b4de04","datavalue":{"value":"1344.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q899436$56C46C62-8094-4582-BA3D-29368F542C97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$73EC1766-F766-49D3-970B-699F131C784C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50217a694f30a97c4a37efb7af92cf944228130a","datavalue":{"value":{"time":"+2015-12-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q899436$E456F856-FF12-4B99-AFD3-C208162E8522","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q899436$08A6EB5E-BCC7-4191-ACA4-A492FD84398F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q899436$5EDB5553-FFC7-4D59-ABE1-F2A7F4300430","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10c0a6eaba6bc79ab262cb38640cd2bb7fab1622","datavalue":{"value":"6524434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q899436$89C5787F-223C-4C01-B6D4-6F43CA359354","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ad22d359a2f222e3dedd142b9f69501e880d0ef","datavalue":{"value":"automated conjecturing","type":"string"},"datatype":"string"},"type":"statement","id":"Q899436$9DBBF1CD-CF30-4E0B-AE7F-41B5217895C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f64fa6769e17ee686095e361b29df3db6a4427e","datavalue":{"value":"automated conjecture-making","type":"string"},"datatype":"string"},"type":"statement","id":"Q899436$90122EB6-E460-4598-9944-A15DE8EBB2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd656334fdef3fbe245a54ef75adda5e689bc707","datavalue":{"value":"mathematical discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q899436$8C5C2F14-1A93-476F-BA5F-69699654D88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95b71cc2ea22c3a512172663a19c815ad5844c1e","datavalue":{"value":"automated scientific discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q899436$4D0F5913-951B-4300-9E76-E6184C31665E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7781d23be6b8df5e465bccbe2fb9601df25c87bb","datavalue":{"value":"Dalmatian heuristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q899436$7BFEAF30-E679-4C52-AD5F-4DB632EFC851","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c06e067d0626be33b8fc9b4eb9cba28cfe0eea60","datavalue":{"value":{"entity-type":"item","numeric-id":547538,"id":"Q547538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$A4E872B4-7A78-44C3-BEC6-F2BC4F33A0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9cebd3712e1891d6ee6b29f06b826ab11656fff","datavalue":{"value":{"entity-type":"item","numeric-id":1029768,"id":"Q1029768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$D74D5CC3-3266-4EC0-B8FB-B110ED98FB76","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b5c9b35d8e9d156fad0e174bf1ededba57ccca7","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$8319BEA8-BD91-4B6E-A624-590B5F91E142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7fade21961c734b5035092ee0797e44ab71a740a","datavalue":{"value":{"entity-type":"item","numeric-id":13815,"id":"Q13815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$EB3D8B2D-1625-4B5A-B909-9AE6173E2CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4bf6b098c4c01159a1cdee4d92fe2d1a9384e1ff","datavalue":{"value":{"entity-type":"item","numeric-id":22353,"id":"Q22353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$897E00B6-3AA8-4B49-BCEF-6626DF35679C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"46dddb69316252419883bbcaa807e09be308a899","datavalue":{"value":{"entity-type":"item","numeric-id":19524,"id":"Q19524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$1EC54F37-1216-4764-ADEA-8059DA8E8E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"244322989cac5533c21cf38a65e1c1a98938cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":18271,"id":"Q18271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$4F99F78F-5482-4FEB-9150-A1C96F2FBA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58012661cd5902d08c1d307a106ffc22f40d0c6b","datavalue":{"value":{"entity-type":"item","numeric-id":13366,"id":"Q13366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$D8A1B395-3E85-4626-9BBE-A2C101A61F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"413fa2e9c2be1957a125cb5b8aa76ec4081e335b","datavalue":{"value":{"entity-type":"item","numeric-id":16872,"id":"Q16872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$FE96690D-4320-4B7A-8B44-ED0DD829F2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80d317b589be71a593964852b7a20cc6f0bddbc0","datavalue":{"value":{"entity-type":"item","numeric-id":30909,"id":"Q30909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$E3781E50-BC60-4988-81B2-99143AB5FA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b03fb07a1ad59ff4771a02807c48bbe141c78c46","datavalue":{"value":{"entity-type":"item","numeric-id":36871,"id":"Q36871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$EA73A2AE-8D94-46D1-8222-5FCEDDB9B1FC","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":"Q899436$56527F84-7421-4A55-9C6B-05CD47CE6D8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f337c20851a60dffa15e5ad1a4c075dd16dab67f","datavalue":{"value":"https://doi.org/10.1016/j.artint.2015.10.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q899436$A8C5D56E-5FA7-4053-B8F0-7CB248D1B2D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74b244e8441e1e00991ad8664a8509548cbd98a1","datavalue":{"value":"W2194300440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q899436$98BEF6E3-1A72-4081-9FD7-EF2D2CA66564","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db7514fed5b994dc780265d08666ba8afbae184","datavalue":{"value":{"entity-type":"item","numeric-id":4871155,"id":"Q4871155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$8C857D2F-4B9C-4631-AA43-9338B08D974D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbcf170115f6f30d9f7435716b60cb2dbcf2656","datavalue":{"value":{"entity-type":"item","numeric-id":5477956,"id":"Q5477956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$A73982AC-3CC8-47A7-A450-5786233EA38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed2ab9910eb25a71a9d27f801409dd848c0ef955","datavalue":{"value":{"entity-type":"item","numeric-id":5378780,"id":"Q5378780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$6D1E079E-2C2B-4B43-B915-DB2ECAA1C86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c51e24e1428721a6903741aba45a8914c5f370","datavalue":{"value":{"entity-type":"item","numeric-id":1373299,"id":"Q1373299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$10115AF9-F157-4348-9E39-76AB4A9C4FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa75d76e1cdc609f7ac46974607202a4c628e1e","datavalue":{"value":{"entity-type":"item","numeric-id":3275832,"id":"Q3275832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$F20DAF61-F9C8-47FB-85F8-E985B19D1813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13625bd5a8f36e424a6da73bb05877a54ee3cc46","datavalue":{"value":{"entity-type":"item","numeric-id":922723,"id":"Q922723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$06EF0652-7983-489C-88FA-C1F028093610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748ba9277994f58d36c188e41fe7477ed7b788ad","datavalue":{"value":{"entity-type":"item","numeric-id":3197866,"id":"Q3197866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$A789F5EB-D1D1-40F5-96C3-F62269B5498B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b8b3448308718aea450ae3d5e236d0cf37ebe2e","datavalue":{"value":{"entity-type":"item","numeric-id":3197865,"id":"Q3197865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$00632827-0DDA-4277-B4E2-C72DC2B2B7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002f4cd397a24ce9927b809d80135c617a6e5411","datavalue":{"value":{"entity-type":"item","numeric-id":3211357,"id":"Q3211357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$2B70A77A-AD17-4576-9E2B-D5FE0081D8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b88445a82be99cf4c4310c2144942b4601854a","datavalue":{"value":{"entity-type":"item","numeric-id":5477957,"id":"Q5477957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$B76EBF4E-C115-4B8D-BF6C-2E03A737F2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba22258f6fb319852f2137b6d784eec14522990f","datavalue":{"value":{"entity-type":"item","numeric-id":5477970,"id":"Q5477970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$B1E03DE8-EA20-4CB5-BA09-470B98ABEFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25487571324878f5d5d065491b3aea0ec5cda997","datavalue":{"value":{"entity-type":"item","numeric-id":3938537,"id":"Q3938537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$120B4977-7E76-48C0-82A2-0CE0EB2AD846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ea0c99fc4af01e06d7c442b89c8a6cd9c5a555","datavalue":{"value":{"entity-type":"item","numeric-id":4233444,"id":"Q4233444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$D1C4F38D-D1A5-4AD2-8317-F3DD737E243B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adb473fffc2c544140b019af170eaa1f11b1687","datavalue":{"value":{"entity-type":"item","numeric-id":3006508,"id":"Q3006508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$F93F6AC5-8DCF-465B-ACA3-100A1C045240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2564718bb18ae8d59f303725a1249310c719b38a","datavalue":{"value":{"entity-type":"item","numeric-id":2456561,"id":"Q2456561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$B084F0F1-5294-4F5E-B468-3C1193FE98CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e446cab145d1698d3118a32aa542c36cb9a410b","datavalue":{"value":{"entity-type":"item","numeric-id":1970574,"id":"Q1970574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$BC44F9C4-2999-4727-9357-0B2F7FAD4300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba91eb02d5c6dce0eb1c24a8408bfef13f3fab","datavalue":{"value":{"entity-type":"item","numeric-id":1422414,"id":"Q1422414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$4F419588-C784-40FC-A41A-7F64E14D4E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d168bc1a3bff907be5c98dc0f0712f2315b8ebe","datavalue":{"value":{"entity-type":"item","numeric-id":3439391,"id":"Q3439391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$E13F19F7-72A0-4877-9F4D-8F5AAC2CE97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"945167b77c4a88034588b0a34034f17850a3bdc7","datavalue":{"value":{"entity-type":"item","numeric-id":944740,"id":"Q944740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$EDD69AB6-F1F6-4AFD-9991-229E2B230F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286423e2256640d445c522b38469ea2248f96164","datavalue":{"value":{"entity-type":"item","numeric-id":3548730,"id":"Q3548730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$4CABD0C3-25A6-4BBA-9A74-94F66FB873CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8609e21f68d583bd5db802345e375e3c9932f434","datavalue":{"value":{"entity-type":"item","numeric-id":3318779,"id":"Q3318779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$8591DF5E-F0EC-4BCB-A492-39219EF605A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e73a85ca5d4f83a5e499f2a01a38423ead35c3","datavalue":{"value":{"entity-type":"item","numeric-id":1113914,"id":"Q1113914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$ACDAA9ED-730B-4BE8-9EF7-9CE7FBF1A61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50546b5e2c7f6bf39367f7950f0331e9ffc430e2","datavalue":{"value":{"entity-type":"item","numeric-id":5749295,"id":"Q5749295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$9E7A12D2-22D0-4929-91B3-FCB881A95F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b6c027f9f9a460d6348929bfcf8ad4a4e98affc","datavalue":{"value":{"entity-type":"item","numeric-id":4444454,"id":"Q4444454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$9D2D92F2-A5A2-475C-BD70-89D4B925C837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93288bcdc60087c2d5bac778c7f1314d9d0ca04a","datavalue":{"value":{"entity-type":"item","numeric-id":3786499,"id":"Q3786499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$0F96CCF5-DA82-4A9E-99DD-6E1F6517D84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9b2d0f9594b7a05d47713b483da96b83a05cbfb","datavalue":{"value":{"entity-type":"item","numeric-id":1082351,"id":"Q1082351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$3FEC1362-1B03-4E14-A7F6-8E54768BAD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7addc0ae8454654f55be0484578d615af7392661","datavalue":{"value":{"entity-type":"item","numeric-id":3197851,"id":"Q3197851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$D1F277D0-4612-4F39-BCC5-F3AA47ABE629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6813a3de92e62c4b8c0b35a196fcd89d24362f9e","datavalue":{"value":{"entity-type":"item","numeric-id":3970965,"id":"Q3970965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$563F4EDE-7295-4EDC-B586-C991EA40E648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9914c3a8c20948ccc8db1bfc8ad03db098b8a405","datavalue":{"value":{"entity-type":"item","numeric-id":1322229,"id":"Q1322229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$FC43C149-DE9D-450E-8F5A-8612F15419EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afcfac35e468ac8bf39a24ee0897cd787ee39215","datavalue":{"value":{"entity-type":"item","numeric-id":3605159,"id":"Q3605159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$C2DD2AEE-8A15-42DB-A0EF-69F1D509602F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9119bf59076388da7050719d462de7a926825c95","datavalue":{"value":{"entity-type":"item","numeric-id":2724744,"id":"Q2724744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$373E5D4C-D0CC-44BA-92F8-16F08FFE4BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360774f05c9831cb342d967e9155ade984355b76","datavalue":{"value":{"entity-type":"item","numeric-id":5477976,"id":"Q5477976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$F100255C-8667-445E-9BFF-88562EA9D9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c681f8a33e4966f247449fba2d223da94420821","datavalue":{"value":{"entity-type":"item","numeric-id":1029769,"id":"Q1029769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$5F6C9E95-AA89-4261-8450-0E9407E59F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e28d865b6a527d6aef184a58e15bb15ad21dc2c","datavalue":{"value":{"entity-type":"item","numeric-id":3856819,"id":"Q3856819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$90192854-4889-4833-BD8F-C9D6F185A2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae6c5953adeef3802802760ad4bc996d6bdb0f20","datavalue":{"value":{"entity-type":"item","numeric-id":2723545,"id":"Q2723545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$C9DE873D-EB1A-42A5-B2D9-3E6FCBEC553A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d149eba9bb1ffda2574f762af329ecd09d87165","datavalue":{"value":{"entity-type":"item","numeric-id":5317673,"id":"Q5317673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$13C65A8E-B5C0-4257-B8D4-C29799F99BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60c9e7ebaed93a14c443423d2ee67e909f62ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4368728,"id":"Q4368728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$426D94BC-AF54-4DF6-9516-8FE228015659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f2460a47e9b1182403cc9dbb0a95cc7d8ebe559","datavalue":{"value":{"entity-type":"item","numeric-id":640438,"id":"Q640438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$D1C7B5C3-4D05-40C4-9D53-5C69754D50BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$70F279E6-A307-4D6C-9C3C-632A9002AF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad9c869eb30e29ca10bc517bbb90206cf2c78a6","datavalue":{"value":{"entity-type":"item","numeric-id":5441574,"id":"Q5441574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$5A0BB7F8-BAE8-4620-8BD7-24951C0CCFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a31bc58ee4bc875a888e717e50eed21220abcf6e","datavalue":{"value":{"entity-type":"item","numeric-id":616388,"id":"Q616388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$55556BD9-4819-4779-8EE5-A1B15B2A5081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b0a8a8d6170248b2c50ac00a0dbd92a13e8aef5","datavalue":{"value":{"entity-type":"item","numeric-id":1946229,"id":"Q1946229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$1783A73C-DA16-4AD7-B766-D056230A06B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a48c289367846d2e6cbf6ff475cf182266d6c35","datavalue":{"value":{"entity-type":"item","numeric-id":4178914,"id":"Q4178914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$A1EC611F-1576-4CDF-826D-0C7EFD68FFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"139f7aa6e8ee8bfb6c751d0c7184b11208f7993f","datavalue":{"value":{"entity-type":"item","numeric-id":1344393,"id":"Q1344393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$98D8F89F-E6C7-468D-8395-C66BCBE8D08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f01eec1f259d5e5e11b5ff0e83a10e415571552","datavalue":{"value":{"entity-type":"item","numeric-id":4407449,"id":"Q4407449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$AFA9DA95-5E49-43EE-8D9B-916FDC1F675B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1cdce9a5288e213fec545869ca8abfb8813711f","datavalue":{"value":{"entity-type":"item","numeric-id":4223159,"id":"Q4223159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$3EE1BC1B-7FA0-40FD-A12B-14EB1E37E710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b07d6ae8072ec0b52d1a52248f558d67752e38c","datavalue":{"value":{"entity-type":"item","numeric-id":2743189,"id":"Q2743189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$A770AA65-CB58-4ECC-A561-57E305BBCD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a752b3d381904e780b642170911ea6cab3a253be","datavalue":{"value":{"entity-type":"item","numeric-id":4048867,"id":"Q4048867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$39C87B42-94A7-4D88-B285-4E6ADFED633C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d4d8bd5babb9a95d9da6dcee72ebe215cc3fc83","datavalue":{"value":{"entity-type":"item","numeric-id":3510980,"id":"Q3510980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$EA55E05D-3579-4AA3-9A9A-88FE15AA81F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0fdfb4c5a7bec06e8e2442f3e4f3e015831c4f","datavalue":{"value":{"entity-type":"item","numeric-id":3978362,"id":"Q3978362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$0655D9A6-F045-4C44-9222-A55F1F728B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a5eb340b9a0ad49d64cfad16253cbcf6809378","datavalue":{"value":{"entity-type":"item","numeric-id":1396651,"id":"Q1396651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$D9218E95-39A9-4B92-9D8E-3685F18F11FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a7656463249e5e8996e4dcda7fb5e8f7370cb0","datavalue":{"value":{"entity-type":"item","numeric-id":1256490,"id":"Q1256490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$46A27383-DA29-487A-ADD0-512C215665A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed656a8323c754d35cde16128b4f6b00cce06e3","datavalue":{"value":{"entity-type":"item","numeric-id":599828,"id":"Q599828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$44A663B5-C866-409E-8BE1-88586EC46A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5d6590dff345826546ca4e5aeb972201857e3de","datavalue":{"value":{"entity-type":"item","numeric-id":1052341,"id":"Q1052341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$AC817990-D2F1-476F-BB92-8FCA4DCDA83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5221e125001591a85729b39b718b65785836aaee","datavalue":{"value":{"entity-type":"item","numeric-id":1825210,"id":"Q1825210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$3ACB59B2-9F10-4F2B-B164-30CF32480008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95448410b7801cb970a150e4b8254b4c12d61e0","datavalue":{"value":{"entity-type":"item","numeric-id":5779778,"id":"Q5779778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$7B625510-6A10-49AE-8818-DEEFEA7FF887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51934cff5a8fb5b687786498626db710fc9e343e","datavalue":{"value":{"entity-type":"item","numeric-id":4800421,"id":"Q4800421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q899436$60CF651D-FFCD-4A30-A500-D4A7A8EBA0CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c264a5579ae1f6855ab5194757b4a7b53fa337ef","datavalue":{"value":"10.1016/J.ARTINT.2015.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q899436$9187E93D-0ED0-470D-A4CE-C99AF4F337D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01874534ccbef19e313e72186b5461a97d5053d5","datavalue":{"value":{"entity-type":"item","numeric-id":1688717,"id":"Q1688717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe5e7ae341f2aca6527aa9a2be252c1121fa4cf","datavalue":{"value":{"amount":"+0.8202345","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":"Q899436$FF2EAE74-E28F-40C0-AC79-D69413F76107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b09c6a971b6451ef202d48aa08df2a5aabea6c5","datavalue":{"value":{"entity-type":"item","numeric-id":3709920,"id":"Q3709920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de5a53a295690f516c76ae5c9f7640527a6248e","datavalue":{"value":{"amount":"+0.8193677","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":"Q899436$C376E85C-1766-40B5-B838-0E5A4D3041B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d5644dc8bea1fae58fa4b528ad30ff23c10da11","datavalue":{"value":{"entity-type":"item","numeric-id":5114790,"id":"Q5114790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f506e019ebbf75b0a69df85c4bfd56cf7da84e8c","datavalue":{"value":{"amount":"+0.8181688","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":"Q899436$7A6F1EC9-884C-4E83-9A86-69D5270007BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15128462266bb86a70731c93269bf8c72696ca7e","datavalue":{"value":{"entity-type":"item","numeric-id":1813824,"id":"Q1813824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1489fd4bfda7b9c56346fe08f77812e8a1f8e9a","datavalue":{"value":{"amount":"+0.81635725","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":"Q899436$EFDE274A-B5AF-4836-B386-231E13131997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1cfc853f4f5e9b8d94062b825701b06d4af5a08","datavalue":{"value":{"entity-type":"item","numeric-id":3738607,"id":"Q3738607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d207575ce33a2e70e62ce12d5d7f6ff8bd029fd","datavalue":{"value":{"amount":"+0.81011397","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":"Q899436$22964EB7-65F4-4015-A513-D560AA7531D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dfa734eb5454e27717d2510e865697ab1bd0e06","datavalue":{"value":{"entity-type":"item","numeric-id":1407160,"id":"Q1407160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"534774e09913b38167493c5ac56f3b109ad28fc8","datavalue":{"value":{"amount":"+0.80833554","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":"Q899436$2625BDC4-1E11-4A44-8539-666A6E90F2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f86e0a77416a4335a9c34ddac74e23e8892d345","datavalue":{"value":{"entity-type":"item","numeric-id":2185494,"id":"Q2185494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f00b9cb152de6cc057a0bcb06678167bf44a34","datavalue":{"value":{"amount":"+0.8022224","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":"Q899436$28853C90-EBFC-4611-8DD7-179003F56E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48eb10cfc055c029d97c506c81beb456c1fbb4e5","datavalue":{"value":{"entity-type":"item","numeric-id":4903911,"id":"Q4903911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243ee07ed00d866c0c03a78d41930e6517c2da68","datavalue":{"value":{"amount":"+0.8017494","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":"Q899436$FFE1D4CA-8A4F-4114-9228-565E21719614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c39ceb87b78fa19ce5077c814a791a68af5067","datavalue":{"value":{"entity-type":"item","numeric-id":4941841,"id":"Q4941841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"859af748794ed5c6631c0195c1decbd1f673045a","datavalue":{"value":{"amount":"+0.8015423","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":"Q899436$CE2B8915-B722-4E11-821A-3AD366AFCDE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_conjecturing._I:_Fajtlowicz%27s_Dalmatian_heuristic_revisited"}}}}}