{"entities":{"Q3454114":{"pageid":5233514,"ns":120,"title":"Item:Q3454114","lastrevid":52405988,"modified":"2026-01-22T14:06:14Z","type":"item","id":"Q3454114","labels":{"en":{"language":"en","value":"Exploring theories with a model-finding assistant"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515524"}},"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":"Q3454114$B081BE41-D89F-441C-A3CF-BD1FBF555A83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5d897ac91cb1fbc633c3ddebf415efb9380353e","datavalue":{"value":{"text":"Exploring Theories with a Model-Finding Assistant","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454114$4C0325C9-9463-4C9F-B1CB-786825C3D99A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee869a3b98409094a520c10cde8468cafbff4e03","datavalue":{"value":"1465.68298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454114$9CA2D93B-81CB-471B-9B1A-96630F6CB336","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e04cd12b4a958bb12cd903abe911a5bdad39b21","datavalue":{"value":"10.1007/978-3-319-21401-6_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454114$6CF0C6EF-28FC-4A30-AE97-6CCD595342BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f856998a3e5d57023f71191b138bf42f18f9054a","datavalue":{"value":{"entity-type":"item","numeric-id":3454112,"id":"Q3454112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$702BA03C-7963-47FA-A842-6E19C60A0055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c366b6db9cc2aba906d0893b6c338f567f98bf17","datavalue":{"value":{"entity-type":"item","numeric-id":3454113,"id":"Q3454113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$BE7C1B83-F27D-42AF-818C-8D4B53C47D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d666e96ce2fa8f92917e230fc2bc29c6dfb1050f","datavalue":{"value":{"entity-type":"item","numeric-id":673969,"id":"Q673969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$156D8EB6-4F02-4EAF-B758-5C0E8F842BB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$8BBC8762-0968-4DBD-86F6-3E7BA52B597A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454114$A3A9537A-3695-496C-A6EA-C6361D8EA6F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454114$4BEB6C86-1366-4E3B-B35F-3182B044C94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454114$9370A82B-AE45-4545-BDE8-E07428DE2F53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5100a3a345bf994b938eb113624626143c277527","datavalue":{"value":"6515524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454114$C8AA236D-C1C3-4787-B980-38EECB3182A0","rank":"normal"}],"P1463":[{"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":"Q3454114$0ADAC242-03E2-4320-9C84-4E0855409D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cea1b2cb84bb47ca577fcebf0f42420b207179eb","datavalue":{"value":{"entity-type":"item","numeric-id":16359,"id":"Q16359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$068081BC-F806-4C28-8F2E-600545765344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$44A3AD26-3BB4-4289-8EFD-DC47289B6B40","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":"Q3454114$F47962D0-4709-4136-A8C7-2D1B0F468C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83e2dec25ea583652d0e07d4393a843812f4b48b","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$3AC5BBD7-424A-4F0A-B35D-01142891DACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4731030b91aac61e70b10b135ef179f671ee8442","datavalue":{"value":{"entity-type":"item","numeric-id":55220,"id":"Q55220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$83E10937-8AC6-4BD4-A16B-B71AE3C47AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd2028c5945640f27cb6959a4899c9e5ecc937af","datavalue":{"value":{"entity-type":"item","numeric-id":18923,"id":"Q18923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$B671CC0D-2CED-4544-87C6-F339B3A575C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a2b5b60cbb02303c49de211ce0cda9c94098741","datavalue":{"value":{"entity-type":"item","numeric-id":21435,"id":"Q21435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$151018E7-A49B-489D-B803-17E04300662F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41fc9cdab07636dca04412ef0070f1d13ce58f4d","datavalue":{"value":{"entity-type":"item","numeric-id":19148,"id":"Q19148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$5A0B6FE0-60CA-4E63-BF18-565030C9EF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$FBFF1D86-31E4-4009-9061-DDD1BD49F712","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":"Q3454114$7D4A13D4-81D4-4A78-A478-799240533426","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"718e2fe59f9611d00ddbefdc62198e9090a1aec9","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21401-6_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454114$8257EC7C-5E29-4067-B361-EDAC130E9B55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42ea02ebf5628abd1b99612e2ac48796e4840189","datavalue":{"value":"W1465565820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454114$CBEDA1AB-D05E-411E-9FEE-16434A38525E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70cc4453f5a873a7b64997b7df88ef8b7cf7b8a","datavalue":{"value":{"entity-type":"item","numeric-id":3613405,"id":"Q3613405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$360A7A22-49F0-4767-9F5C-9DE78121F259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf54fd52b3ae148a01d4229df0c1b5a1e68af7f","datavalue":{"value":{"entity-type":"item","numeric-id":3613415,"id":"Q3613415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$D4922A9F-8061-49A6-B6A5-F24B1BC877D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e2dbd1c024d492b6dfa954b304f9b8207b1591","datavalue":{"value":{"entity-type":"item","numeric-id":5758136,"id":"Q5758136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$729478E3-7082-4344-AC01-05CF00ADBB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0c6e9205f59b4da35f13c2c9edde14decb7118","datavalue":{"value":{"entity-type":"item","numeric-id":1006733,"id":"Q1006733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$E6D7A54F-C55E-447F-B4D3-8885249526FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0637ab83f98d367cde1bd1027148cbfc28f2ca8a","datavalue":{"value":{"entity-type":"item","numeric-id":5747761,"id":"Q5747761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$A13455F1-841B-4EBD-B7B7-C0942DF5D34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3a57f9c14ff1fbe1b20e0c45aedc0125c5f1f1","datavalue":{"value":{"entity-type":"item","numeric-id":4246965,"id":"Q4246965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$2FEEBB28-B54A-4EDE-8146-CA5D8D69A7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf094e5acdb2735390bab0d7bc1af9fe86b667db","datavalue":{"value":{"entity-type":"item","numeric-id":4645243,"id":"Q4645243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$BA5D1E7F-0783-4A46-B035-93FBEC41A910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1ee918c464fe7c6c2ebcaf9cb1dfed9d3b10f4","datavalue":{"value":{"entity-type":"item","numeric-id":1581852,"id":"Q1581852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$CE52F2BF-DAF3-4E73-8B6F-B10AF3DF315C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d1cd18ad4e1c7a83c2322b2db670292805497","datavalue":{"value":{"entity-type":"item","numeric-id":5758128,"id":"Q5758128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$A7CBEB40-CE23-4CF9-8170-BCE611BE36F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$7736B9C1-09E7-4E0D-BB64-678CCB78EA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a835b6b81c9a433789022f3e5fd4995ec2a51b","datavalue":{"value":{"entity-type":"item","numeric-id":4870821,"id":"Q4870821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$D54E7558-5C34-47D7-AFCD-FCBFEBE1FA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa366e946c1a37ee41a028f119b3b06a3738d70","datavalue":{"value":{"entity-type":"item","numeric-id":2810964,"id":"Q2810964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$CE010C79-7E9D-4450-9A4E-AE7EC407583B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30492f77eb016746469a740ef03c349aed405ecd","datavalue":{"value":{"entity-type":"item","numeric-id":5387843,"id":"Q5387843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$1A39B174-17A7-44D9-A148-1C0BE581774B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea7a4daa17e286a135ff13bcac8c6503af0396d","datavalue":{"value":{"entity-type":"item","numeric-id":3770004,"id":"Q3770004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$B336D486-61E2-4160-B2AB-7770ECA8DC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe0eb6db66337331a9c8c2752b0109a62ada165","datavalue":{"value":{"entity-type":"item","numeric-id":555769,"id":"Q555769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$F9B96208-77A0-42DF-896F-3A0B7C1ACFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d223355713d43fd22fdbfdb541ce3efab0d3390a","datavalue":{"value":{"entity-type":"item","numeric-id":1238016,"id":"Q1238016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$37E5D0AC-3188-4955-9A17-98CA36FE91B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870070c0aad0451308b9020b5163ee20efe46a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4414536,"id":"Q4414536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$E2831E96-B9A3-4354-9910-BD34EDFFBDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454114$1156B6A4-CAEF-4456-BC0A-AC819C4D826A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68dd49a20f450eb232f3432c5c68895dba18443","datavalue":{"value":{"entity-type":"item","numeric-id":2024373,"id":"Q2024373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d5736b8e5e74f84bd2fda0874f2c5bf43d6d14","datavalue":{"value":{"amount":"+0.6878774166107178","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":"Q3454114$6633B92D-9134-4D2F-B086-C877F2A138DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddee72647a54fa2df485a98d33ad8ff867efc18d","datavalue":{"value":{"entity-type":"item","numeric-id":2289018,"id":"Q2289018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d06528104859aad228400d0e55cea3ad03dedcd9","datavalue":{"value":{"amount":"+0.6711615920066833","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":"Q3454114$357ACE1E-6B44-4B38-A831-897865D59431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cdf6bd8a99dda6fb6242ab5c5bc700cb0b914a7","datavalue":{"value":{"entity-type":"item","numeric-id":6039409,"id":"Q6039409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a307e022c293916746ac2ea5adbb84de58f756b","datavalue":{"value":{"amount":"+0.6627197861671448","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":"Q3454114$BD5FE242-7560-431E-9A72-66E70386497B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0deab03664bb05ee0ab93f02e3e2aa8174c99308","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"404bcd673aa1e33cbc6297836d831f59c096bbc1","datavalue":{"value":{"amount":"+0.6566421985626221","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":"Q3454114$8FEC625B-D3FC-4B7E-9507-4773E0A83C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a6d991b50ee3cacf0f632a65fb75701662b114","datavalue":{"value":{"entity-type":"item","numeric-id":2405244,"id":"Q2405244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33fe8b5bd872bb8c0d524a36f2cf3819faa5d89e","datavalue":{"value":{"amount":"+0.6544239521026611","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":"Q3454114$E6EFAAAF-EEBB-4CEA-8CC4-17D965B5D8B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3454114","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3454114"}}}}}