{"entities":{"Q5747782":{"pageid":7777333,"ns":120,"title":"Item:Q5747782","lastrevid":51080459,"modified":"2026-01-16T13:41:08Z","type":"item","id":"Q5747782","labels":{"en":{"language":"en","value":"Premise selection in the Naproche system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785468"}},"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":"Q5747782$E7814D6E-331F-43D3-A330-4F7C73F8D020","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f68cda03bdc6352d24cec559aef1b37dbda462ca","datavalue":{"value":{"text":"Premise Selection in the Naproche System","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747782$8D942762-1FAF-4DDC-9C79-669E8BDCA809","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42f54f9fb4372b5a47960926ee15f036a563fc0b","datavalue":{"value":"1291.68336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747782$FE4E8C2A-D1DF-42A4-99CB-80DC3E4DC728","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6eec40d8e6d7e766e0d676e3223dac1625da5637","datavalue":{"value":"10.1007/978-3-642-14203-1_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747782$3E9B128A-DF6B-40C4-84C9-907B2DC1ADC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1599da04342fa67835939b76a2ff9a300361ece5","datavalue":{"value":{"entity-type":"item","numeric-id":2028728,"id":"Q2028728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$3B768426-7930-4DA0-B03D-245251A99C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97d0b9b61d83d1e98f6242a5df0440e02577e539","datavalue":{"value":{"entity-type":"item","numeric-id":375822,"id":"Q375822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$F0B8AC35-C3FD-4A2A-8D4E-53976510BF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10ac899857b53db65920b63129111456d82cf0ed","datavalue":{"value":{"entity-type":"item","numeric-id":286785,"id":"Q286785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$29D94769-8A25-4123-B709-15860A073C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a60dca4ca026d2e3f1edd5799feee57c0f11a3f1","datavalue":{"value":{"entity-type":"item","numeric-id":5200116,"id":"Q5200116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$F368F806-543F-4E05-92CD-D2D5504E0078","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$6BF64AAA-EEC1-4CB2-B64C-CD44E7486CC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747782$ECFAD73A-0899-4A7F-B3F5-EC3933DE5F2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747782$09B937FF-BAA8-4D83-B83C-D89D022B5576","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9093ae9945f7edc2e9f28cae5c48a71659b8ef5","datavalue":{"value":"5785468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747782$FDC85725-AAC4-421F-83B1-6CDA9A8CE4A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc238ea6cb52c715bab39832f2cd5b4837c9294f","datavalue":{"value":"formal mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5747782$647B69F4-7829-4A05-9E59-D0ACCC25E363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5747782$825864AE-D857-4BE3-969B-F3030ED70F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a78edc6077f79e127bf886307f7f7a224c78c3c3","datavalue":{"value":"axiom selection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5747782$2EEDDBD2-B4ED-4146-A5FE-5BC59390C6C5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3e24b1e555719d904bc5723d040851bdd6284eb","datavalue":{"value":{"entity-type":"item","numeric-id":21775,"id":"Q21775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$A7DD9406-965D-4115-AF5D-FA646D6B7A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$D2D38655-E76D-49B3-A23F-37F8013FBBD3","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":"Q5747782$9CCFCD91-1F2C-43DE-B183-A1B20ACF6D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$197047D8-9EDE-46BC-B159-D2EF1B7D8E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$F5034813-B04F-4BDE-B314-C486ACCB7C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62af2c5e450adf37bd9acb47c5a55b60b68447ea","datavalue":{"value":{"entity-type":"item","numeric-id":22241,"id":"Q22241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$EE098506-CC95-4F81-B457-140D69870D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dec9660857c05980e3c0b17c51d483bf1a29e419","datavalue":{"value":{"entity-type":"item","numeric-id":40021,"id":"Q40021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$9B61888F-2913-45F7-8AB0-F8059EDF851C","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":"Q5747782$C5717632-C3CF-4BBD-BEA5-782921C1318D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"615b01e96aea90bb35341d5e68bfb0ce58074aa2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_37","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747782$B605A33F-C30B-45C1-AC0B-5E69E585FCB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64108429ccc6f4f1ba9ad6c80d3a43eb5e180c31","datavalue":{"value":"W1596298944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747782$3EB355FD-7ECC-454D-8A44-3A9F980B8E3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64a17260ef50bc61d32defb60063d695fede481","datavalue":{"value":{"entity-type":"item","numeric-id":1197385,"id":"Q1197385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$F3469241-29A8-4F25-9A0F-AB07A15C5D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd33855336399d060e4c0008afb085c9559eabd","datavalue":{"value":{"entity-type":"item","numeric-id":5747782,"id":"Q5747782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$6E4F2136-72AD-4592-8A8C-4397CB84DDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9656f101a9d31950a102f3d80db35fe042a1cc","datavalue":{"value":{"entity-type":"item","numeric-id":1940486,"id":"Q1940486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$303590E6-5FB3-4296-AEA6-1947313F1771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34070298881ffe0d4f53738836dad999109b0f75","datavalue":{"value":{"entity-type":"item","numeric-id":3234138,"id":"Q3234138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$3DF868A9-19C2-499D-8B99-F9A72E7562F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741b1c2a1697c669d1b3bbdff87dd79f9f007366","datavalue":{"value":{"entity-type":"item","numeric-id":1006731,"id":"Q1006731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$ECFA9D1F-136B-47E8-A0E1-E9A3922D6168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0935a3b1e6d95e91e21f7e9b447a76f61a8eb916","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$8860DAC9-1032-4525-8842-E1CBCE609027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$45E61BEF-A4DB-4339-8151-EFA5E67216D4","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":"Q5747782$39AD4D59-D45E-440E-A065-090F22B31F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81eb1bed6fe619f48a29f5aee3e7db00567c1586","datavalue":{"value":{"entity-type":"item","numeric-id":3608780,"id":"Q3608780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$1CB92DB8-06CC-4063-9A5A-1AD5EBA26BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9655c068a195af6d54bbb62184581b058670a2b2","datavalue":{"value":{"entity-type":"item","numeric-id":3541722,"id":"Q3541722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$19D0DCC5-6377-4B63-BB82-584317778724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b79119f9505990ffd9f1c920604fb44a0b0165c","datavalue":{"value":{"entity-type":"item","numeric-id":3608785,"id":"Q3608785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$011FBE37-8E6A-48CE-9930-8C14DA455405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b4d4d0b5630ebb8638d125cfce3aede70a13d7","datavalue":{"value":{"entity-type":"item","numeric-id":5462451,"id":"Q5462451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747782$CD28B62D-174E-4B97-B509-FDC54BF1A81F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e17ad5cefe2934a9da315d890618323f9b182ae","datavalue":{"value":{"entity-type":"item","numeric-id":4982446,"id":"Q4982446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf1feb0bc5406e32f4731066e72fbaf9967c6899","datavalue":{"value":{"amount":"+0.8050587773323059","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":"Q5747782$4514EB49-619C-4A7B-AD6E-841FAD682F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b6520c52faa5b7358ebddb8faa9eea4cdb8c4fa","datavalue":{"value":{"entity-type":"item","numeric-id":2352489,"id":"Q2352489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b92f79f824c583a3e3bac4fed3b429e6aff8da79","datavalue":{"value":{"amount":"+0.7887354493141174","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":"Q5747782$E488037E-6D7F-458F-AE3B-53539CBBE526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c04886eeb7acb89866a6321699cc037392628dd4","datavalue":{"value":{"entity-type":"item","numeric-id":2908509,"id":"Q2908509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9658ccb55aba3aa67bbc96b7c614994964c1583","datavalue":{"value":{"amount":"+0.764685869216919","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":"Q5747782$C0F52DCF-3E57-4F3E-AFA0-1028B941900B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be1a3dec55f299e729942970011656ab570722aa","datavalue":{"value":{"entity-type":"item","numeric-id":3608780,"id":"Q3608780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82790b4a2ecb3e01d34f9326f7f55d50fa200591","datavalue":{"value":{"amount":"+0.7609476447105408","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":"Q5747782$DE9D9B21-39F0-4D54-B336-425D00FB2BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e2a97e00a9bcbbc8de69b7b61640d4aa8a219bb","datavalue":{"value":{"entity-type":"item","numeric-id":2964471,"id":"Q2964471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f9a05ff97d9425e267ab0b54b3531e32a75144","datavalue":{"value":{"amount":"+0.743482768535614","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":"Q5747782$5E8F0D40-29CE-4B56-A491-A56A59F9527E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747782","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747782"}}}}}