{"entities":{"Q4645245":{"pageid":6674826,"ns":120,"title":"Item:Q4645245","lastrevid":53315750,"modified":"2026-01-24T17:25:41Z","type":"item","id":"Q4645245","labels":{"en":{"language":"en","value":"Proof-search in intuitionistic logic based on constraint satisfaction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999528"}},"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":"Q4645245$664E4E61-DE27-42E1-83BC-BB7CD69D1FDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acd922aac87d9878c8684ff8f66201200af219dd","datavalue":{"value":{"text":"Proof-search in intuitionistic logic based on constraint satisfaction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645245$5BF1CA52-223A-490F-9726-94B5A178A57E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8668eba859be4969aa3492726864c0c3fe700da","datavalue":{"value":"1415.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645245$E0207B9F-1271-42FE-834C-A3667F89AD5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08b8a617bffe7ca5e5e9578e847da9417b588755","datavalue":{"value":"10.1007/3-540-61208-4_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645245$223CF6E9-82B0-42E3-94CC-AE1953A127BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab2dfee53655d9cc8087a652185465cb178825e","datavalue":{"value":{"entity-type":"item","numeric-id":229754,"id":"Q229754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645245$5C9F8F46-7608-4159-8468-7BBAEB2C8FCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"260f361c96cfc64e7204fcdf9876515bb18cb191","datavalue":{"value":{"entity-type":"item","numeric-id":4645221,"id":"Q4645221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645245$608E625C-21AA-4B42-BB2C-7A8F4E57AA17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645245$A39BE4FB-E4E6-4A88-A835-26A17445908E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645245$4BF59961-BC9E-4944-99B3-9E8BB0ED27E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645245$E5246262-4A76-40F4-A3F9-29929D09EB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645245$8F513C1B-6606-4664-8E99-B4FB052765D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645245$9139C924-8559-4A2F-864A-2ED7FE091149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645245$DDBE34F3-6FF8-4772-8443-65697415D20E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4932e1cef1616286941e261fbb5c402cc2c718e","datavalue":{"value":"6999528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645245$6BDBFA1D-DE61-40E1-9266-8A55719E2981","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":"Q4645245$6635E4CB-F508-4B90-9A9C-4D00CFFD7DA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69687172df766fc0d3343d5b368056adb7674efd","datavalue":{"value":"https://doi.org/10.1007/3-540-61208-4_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645245$20E6A5B2-A022-476A-BCE7-6E06A71FEF93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"575178104671f6e6a59be30acd021beacad5a1a4","datavalue":{"value":"W1608421539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645245$7F141772-9DBE-449B-BA16-30EC636C2515","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc070cb39a7e4f568b20cb13bfdc38fed4e87ac1","datavalue":{"value":{"entity-type":"item","numeric-id":3782836,"id":"Q3782836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645245$FEBBEFCA-9243-4467-BAE2-1BF38A9A02A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645245$25D2D3BA-202E-4546-ABE4-9AF29C53697F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ffabd2399b4f64e484f1d9b1a52fed60f301932","datavalue":{"value":{"entity-type":"item","numeric-id":4763533,"id":"Q4763533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645245$60611BB0-FC9C-4E7C-8D25-1DD375768F36","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":"Q4645245$347FF9F7-EE29-47DD-91CD-C1DEA715BAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b83592ffe861aca3198948b3c2b96ca5082aefc","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645245$4F780679-84A7-4C08-BDDE-FB29EF0581D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d1c043035191d540c37555c23f0303b7675915","datavalue":{"value":{"entity-type":"item","numeric-id":3241192,"id":"Q3241192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645245$4A57978D-01B1-4115-AFF5-17B348F64FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10eed166b8fabc9262253fd85590bac659797300","datavalue":{"value":{"entity-type":"item","numeric-id":1210141,"id":"Q1210141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645245$64345522-DDD7-4AA5-9FFD-7ADF8CCC9DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645245$223533B8-7351-48D0-A621-CC6E13176A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0dd8f8517af3bfb30cb74ae8d68c97c0014f1a","datavalue":{"value":{"entity-type":"item","numeric-id":5581594,"id":"Q5581594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645245$D8B2E79E-E01D-442B-A94B-6CFAF34796B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c887b92614dbc292afd0634927cae92c216a18","datavalue":{"value":{"entity-type":"item","numeric-id":1344876,"id":"Q1344876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645245$DD967D98-730E-4496-AFD4-239627260C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f634c169695e013798d603192de773983211324","datavalue":{"value":{"entity-type":"item","numeric-id":5210796,"id":"Q5210796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645245$B95113C2-6DB3-4EDF-AF33-EC2225CCA3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55935a33a4068e50acd8ffc5f9c7a852c375a5c","datavalue":{"value":{"entity-type":"item","numeric-id":5613198,"id":"Q5613198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645245$70C0BC60-7B72-471B-9CAF-8D9E9F62AD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cf7a10bff66d836e836dc6763a8738e552c50f","datavalue":{"value":{"entity-type":"item","numeric-id":4264720,"id":"Q4264720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645245$E5FC6591-5BBE-4D31-ABEE-68B7C18E3D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645245$AA593A15-2259-4ECA-B3A8-6A56C9B8E2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13e4be533a2c36c45976eebf5517cba8bdef4487","datavalue":{"value":{"entity-type":"item","numeric-id":5307067,"id":"Q5307067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645245$25795815-7257-4A26-9137-11522BA0DFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db46a24d9e6863a6914bcb7fa90cbe762444f5eb","datavalue":{"value":{"entity-type":"item","numeric-id":4264724,"id":"Q4264724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645245$846E8639-3650-4997-99D0-B23945C82069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fd030717385500bfb13204e49473ce56dd0f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1272615,"id":"Q1272615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645245$173888C0-7FCE-4A59-8C1E-3B62491537AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079d26960fbad67a47fb78241cb8cbf2b682033c","datavalue":{"value":{"entity-type":"item","numeric-id":3999539,"id":"Q3999539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645245$C6595EAC-8E5E-44A7-BCCC-DD369429FBB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877c8c80ec8caab0bb97c69985ba7e1e80bbc71d","datavalue":{"value":{"entity-type":"item","numeric-id":4647498,"id":"Q4647498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf78b442a54fa02d6efa0379ccfc0bca8f270de","datavalue":{"value":{"amount":"+0.8067703247070312","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":"Q4645245$91F16DF7-7221-46BF-8E25-3CD2601BE374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a59ec40c8ef92482d77c211b8284b52f3f1c169","datavalue":{"value":{"entity-type":"item","numeric-id":1810851,"id":"Q1810851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a4312e15eed3bc8d3ef56ea4ff0bb6cf356735","datavalue":{"value":{"amount":"+0.8067699670791626","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":"Q4645245$301CFCAC-96CC-43B2-85E2-34075F9D9651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fb0405a3492fe98e52c2328cf020bcb32911ac","datavalue":{"value":{"entity-type":"item","numeric-id":377482,"id":"Q377482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d20f3d84aff55d5f48b408f8cec0ead5426345dc","datavalue":{"value":{"amount":"+0.7926881909370422","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":"Q4645245$539B2C49-9213-4075-9137-FB390708A696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5461cb2508e87a4328967389321f1e4f348459c","datavalue":{"value":{"entity-type":"item","numeric-id":2701978,"id":"Q2701978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7316f2e46038d39290a92e279e4f1dc5bc32f80","datavalue":{"value":{"amount":"+0.7853536605834961","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":"Q4645245$4F40F37E-3CE7-49C0-A1A4-10EB82D777D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36922c00bbea12382b340d993614db582456c544","datavalue":{"value":{"entity-type":"item","numeric-id":1272615,"id":"Q1272615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef7bbe7eb2f6bd650436238a02f2b926e55f0eb","datavalue":{"value":{"amount":"+0.7783070206642151","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":"Q4645245$C03CA4A7-A7B8-4672-8204-F763C72CA671","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645245"}}}}}