{"entities":{"Q861703":{"pageid":863551,"ns":120,"title":"Item:Q861703","lastrevid":64957635,"modified":"2026-04-11T23:21:27Z","type":"item","id":"Q861703","labels":{"en":{"language":"en","value":"Predicting and detecting symmetries in FOL finite model search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5119738"}},"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":"Q861703$C4890F9D-0B0F-4DB5-84D8-CF455876D0D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"996a97e9269d895eb08a268b069c8713fedb83e5","datavalue":{"value":{"text":"Predicting and detecting symmetries in FOL finite model search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q861703$B54E93BE-BD28-467C-B39A-5FAA9AA23905","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29fb12cbe3cc3af04a4b901d77eb3f0a05eeb019","datavalue":{"value":"1107.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861703$D890F517-DC7D-4CE3-8D42-CEF55CE8D510","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac138f1d844429ce6110bd110935b4f4685ff8ac","datavalue":{"value":{"entity-type":"item","numeric-id":861701,"id":"Q861701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$FBE8F063-4222-4BF0-BBD3-804816169824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"600753bca549340fb431ecc9b427de0a3a645934","datavalue":{"value":{"entity-type":"item","numeric-id":438579,"id":"Q438579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$BBBF96C1-28A2-4B3E-B37E-AA90BD8964C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a967e2e7bc35bfc97b956c2bcfb5ec0007ddfce0","datavalue":{"value":{"entity-type":"item","numeric-id":861702,"id":"Q861702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$77FD52A6-A953-4BC1-9B1D-66BDB260162B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$21214F5B-FA4C-440F-988D-16DF69F662F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35bf8729f5a833a26eee340dee2bdc3e7c14d114","datavalue":{"value":{"time":"+2007-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q861703$DB12F634-0616-4E14-BF5D-3C8B108FC4B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861703$7C37ABEE-D1E0-477B-AB0B-39717B5E931A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861703$5F1CD738-A923-4A5F-BD2C-109A4B60176C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3edce3dacd4d7d1b8d75dfd43900cd34b38f6274","datavalue":{"value":"5119738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861703$21E1DFF7-3A5F-48DC-8BAF-49F35CBE9771","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25cc720fbb4e175202d304e4ea0dfebecf8243e","datavalue":{"value":"least number heuristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q861703$6BE220C3-737C-4305-98A9-25651CB38E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"842d8b5e9868fde9c582e7648eed983545fc3e0b","datavalue":{"value":"extended least number heuristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q861703$7F138F30-957F-4342-BA1E-178EF2D8561D","rank":"normal"}],"P1463":[{"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":"Q861703$37520C00-69C4-4E03-A8E4-5D0550C68F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$34908259-0852-47F6-BC49-239B3AB19E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c07a225c17c89efd936bfa0f14cf691b1eb648ff","datavalue":{"value":{"entity-type":"item","numeric-id":33157,"id":"Q33157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$550A6164-373A-4C1F-991D-F9F395053627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c55b02aff260c82fbd1211080f1ad48c6d9aaba2","datavalue":{"value":{"entity-type":"item","numeric-id":18502,"id":"Q18502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$08BF42E9-9012-438D-B7E6-8D5C6D575FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$E934A7C1-55E4-4828-BB68-56D035776113","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":"Q861703$1C2CA602-B61E-48D2-9294-A05B9B95B75C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68cb0bade3ea65ee966e97b13c9de70429ce8964","datavalue":{"value":"https://doi.org/10.1007/s10817-006-9040-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q861703$6937A02B-5EB3-4F4B-A622-1C805FC5FB82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c17ae31ed9bc66e68372cbeca8859749f8e8f19","datavalue":{"value":"W2073006675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861703$CC6028F6-FED1-4B26-BBDB-04ABDF514CA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e15160697fcaba55e37e0e4c5b2a6ea3732b408f","datavalue":{"value":{"entity-type":"item","numeric-id":4218535,"id":"Q4218535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$CCDC901D-3D9F-41F4-BFB4-39877894E37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c41516f75f352f7a1a9bc224ef6b7799ae6fcb3","datavalue":{"value":{"entity-type":"item","numeric-id":4809058,"id":"Q4809058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$6A287769-55A0-4A63-9BF8-FDA8636B1DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716d56114fe131dba170dc9d609e78b55753bbaa","datavalue":{"value":{"entity-type":"item","numeric-id":4539628,"id":"Q4539628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$74E31E86-3C19-4322-A205-0BF8884F7712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed726423b8bd3052d62817fbdbe46881ee36b6c5","datavalue":{"value":{"entity-type":"item","numeric-id":4934139,"id":"Q4934139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$7478B6EB-7A30-493D-9F12-F3CA95DC3426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8373af989bfc1af3b89a8cc4e61cb49f82aece8e","datavalue":{"value":{"entity-type":"item","numeric-id":4264722,"id":"Q4264722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$115CAFFA-946D-46D8-99F3-4DB0747EA987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755109124011cd8e3c658ad937263073737abb6f","datavalue":{"value":{"entity-type":"item","numeric-id":1332641,"id":"Q1332641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$52993EB7-C11B-4D10-827E-348F2065B90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02d7a25e8da0e216bd53676204559edbd73ba8ab","datavalue":{"value":{"entity-type":"item","numeric-id":4471959,"id":"Q4471959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$334CE52A-8C8B-412D-8CFD-E40307CF3E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0da7bc50bee9e845904dc773b08c6b5c505f23b9","datavalue":{"value":{"entity-type":"item","numeric-id":5625163,"id":"Q5625163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$7658FE7C-DAF6-4E85-9FDF-44680A4BE3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb8a44d75e686c9036fa1b26564632e13a623690","datavalue":{"value":{"entity-type":"item","numeric-id":4475625,"id":"Q4475625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$09C4BA95-5DC2-457C-A35C-9F9518993458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ae11ede7d3f046437167144cb37c388473823b8","datavalue":{"value":{"entity-type":"item","numeric-id":4475624,"id":"Q4475624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$B2E2374A-06A4-4BF8-83C2-739EF4C80956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37da6481d3393a5a430cfe31bbfd3e1bb865a00","datavalue":{"value":{"entity-type":"item","numeric-id":4380444,"id":"Q4380444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$F7AA130F-E9B6-482A-9086-E1C792D4EF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af460d96d3473ee930cf28d3cb4eee8665c053f6","datavalue":{"value":{"entity-type":"item","numeric-id":4475622,"id":"Q4475622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$E2C9C826-2B21-4E5F-AF38-883F53801810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8409c6b47904da9ba25328ffb35bebdb7d310a8","datavalue":{"value":{"entity-type":"item","numeric-id":1844713,"id":"Q1844713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$2924E248-22C9-49D0-98A0-6FACFF1D6254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952f869d8d49e312a3c92e5977855978f654a1b4","datavalue":{"value":{"entity-type":"item","numeric-id":4209295,"id":"Q4209295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$CE1396B5-47AF-4203-8D71-89469B387F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a12f8eb90c3b6147484df57b41df64564a8e5b0","datavalue":{"value":{"entity-type":"item","numeric-id":3524199,"id":"Q3524199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$978C3230-9175-4B58-AD06-B5BD59F9E470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$43329482-F273-40FB-B87D-8CFDBF9628EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b10b47bb76cb4f58979510ed206f3b369a302dd7","datavalue":{"value":{"entity-type":"item","numeric-id":1357663,"id":"Q1357663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861703$74CDEAAC-EC1B-49A2-AEA1-66200218D737","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad61aaf810854a594a4068871064ef58cfabb01f","datavalue":{"value":"10.1007/S10817-006-9040-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861703$4731E8E8-6E90-45DB-8E28-1187DB9E1447","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b4a0c651b55242d0821d5fee58b54803511d6d","datavalue":{"value":{"entity-type":"item","numeric-id":4809058,"id":"Q4809058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b23707c6eeed6c5e457cd0cc3a66e20f2a9f27","datavalue":{"value":{"amount":"+0.886505663394928","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":"Q861703$3031C94F-F3C3-4020-9B70-E339DB6DFC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c5570d1c11519a8774c706cb89365e84033acc5","datavalue":{"value":{"entity-type":"item","numeric-id":4809055,"id":"Q4809055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc3d77d357c1eb9bef9c95bca911e00c4a70205","datavalue":{"value":{"amount":"+0.7819297909736633","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":"Q861703$96C8C4F9-C3EE-4BA2-857A-1FF12F9E109D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dae6967be22b4dd6b79a4f9e307b944027f6d8a","datavalue":{"value":{"entity-type":"item","numeric-id":2848064,"id":"Q2848064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e558af7bf6d26ea636e50e5ecce0819251869417","datavalue":{"value":{"amount":"+0.7784273624420166","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":"Q861703$458F29E3-8A69-4E15-92CB-792BB02482C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22410b667613cceb94b83deabd0737a4b60a48c2","datavalue":{"value":{"entity-type":"item","numeric-id":2180212,"id":"Q2180212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee5b3ea893597e28395ce59f7a83ba768cd607b","datavalue":{"value":{"amount":"+0.7740727663040161","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":"Q861703$51A44FCC-767E-4A39-914F-D399DA0767EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0c4b5dc36fe425139b772e53000cf631a58efa0","datavalue":{"value":{"entity-type":"item","numeric-id":4539628,"id":"Q4539628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc60e8b66d60115ea6ca10bfce26b45cb230bb75","datavalue":{"value":{"amount":"+0.7731879949569702","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":"Q861703$B108CDD6-A285-4C0B-A3B0-965E03606717","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Predicting and detecting symmetries in FOL finite model search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Predicting_and_detecting_symmetries_in_FOL_finite_model_search"}}}}}