{"entities":{"Q2397231":{"pageid":2407974,"ns":120,"title":"Item:Q2397231","lastrevid":74001657,"modified":"2026-04-14T18:00:51Z","type":"item","id":"Q2397231","labels":{"en":{"language":"en","value":"A unified procedure for provability and counter-model generation in minimal implicational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721846"}},"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":"Q2397231$6161EAEB-43AC-43D1-9EEB-F57DAAC08FBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c88d1b408583a8dac0cbacfbc172e02b5dbeed0e","datavalue":{"value":{"text":"A unified procedure for provability and counter-model generation in minimal implicational logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2397231$927EE8A4-85EB-4CF2-B386-3F3747C8AFB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc0dadc8f55ae21e3e1a443b024226d6fc329f3f","datavalue":{"value":"1396.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397231$8AD97E16-D050-400A-8609-306C243F5136","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bc2ed2388258fdc21b5ffe1bffecc4fbd563444","datavalue":{"value":{"entity-type":"item","numeric-id":2397229,"id":"Q2397229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397231$6F72E142-B443-46FB-99D9-F4BD70620803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57379b7066f127cc1048c48129010680300b1b67","datavalue":{"value":{"entity-type":"item","numeric-id":2397230,"id":"Q2397230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397231$57C07AD6-7718-4126-B628-5EE107304BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"523eb1c9f92e29e52a82edbd2df5947e22806cd3","datavalue":{"value":{"entity-type":"item","numeric-id":281153,"id":"Q281153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397231$EBC80174-29F6-4DA1-9B91-04106E5DEEE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2397231$E93946A8-3255-4963-95F1-D6E07EDDC9D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397231$6863863C-7E52-4A13-B149-16AFB53568C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397231$1CFEE8B9-42A6-43A0-B62E-4CC10AA6899B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397231$1E323ADA-93DE-41FD-ADB3-9FFEE1019E2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ebbce820536951ec249b866812d391712aa0e17","datavalue":{"value":"6721846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397231$6404A094-7338-40DD-BA54-A44F299F68DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2397231$80B9CFC7-EF9E-4E8A-B00B-209EA936A284","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":"Q2397231$DCA054E3-888D-4B89-A3D7-5C701653DED6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d267d5436b0c8f20d3cbd20fab149e8df13b2c84","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.09.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q2397231$1D57DDC0-E0E0-40F2-9B56-E3832E309FEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f3d640142f774d1c157fc33a600127d10149a0c","datavalue":{"value":"W2528753172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397231$0C47EC8B-2361-4B21-8097-89F9808F0B6A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"313a43f023b9da3871e4abeb8f6a4f4d4d1450cd","datavalue":{"value":"Q113317659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397231$081BDD15-24D2-4282-81F2-706685D14858","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397231$FFC172B8-415E-4741-A287-5F12FE11BEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8952423c04db1b8045e833200e12d27158942c5a","datavalue":{"value":{"entity-type":"item","numeric-id":2503325,"id":"Q2503325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397231$E08E54CA-CBD4-4F45-872F-8BAB8CDC3E35","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":"Q2397231$3E7633E7-1AD0-443B-B471-8C2180185F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdc04fe1d8a0b4fc167ea978de23099648f6768e","datavalue":{"value":{"entity-type":"item","numeric-id":5898815,"id":"Q5898815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397231$FFD4F46E-0AA8-487A-B57F-6CC575353C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfea43aded2479ac21730ff47e6c42135cdad0e","datavalue":{"value":{"entity-type":"item","numeric-id":2351164,"id":"Q2351164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397231$BE31AA7F-1739-44CE-A11C-E5F7DBF4AA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea393eee1130fd3d174727d1da94feee0fd0e77","datavalue":{"value":{"entity-type":"item","numeric-id":2520659,"id":"Q2520659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397231$626B10CE-D62F-4A80-B379-2505F42F086C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b2358ff3a5efeefd6e7f71946282ef68489774f","datavalue":{"value":{"entity-type":"item","numeric-id":5013887,"id":"Q5013887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397231$3CE97272-E406-4658-9B31-39C310DED93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106507d2ad7198eda87b14657c5af01d30112965","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397231$74FBB16D-46D2-4129-9B11-D1982DFFA029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df88df617383e402732a7ccdf3a5a43ea499743","datavalue":{"value":{"entity-type":"item","numeric-id":4645239,"id":"Q4645239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397231$0631DBCE-589A-4CE7-A204-2F6F413445B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d17349598573d1b33d3b679ef12812a7b83165","datavalue":{"value":{"entity-type":"item","numeric-id":4610326,"id":"Q4610326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397231$D222DC0B-0BEA-4DB7-8696-399DC0A03276","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":"Q2397231$6F83AB12-8A3D-4407-B94D-13CE4AA0A119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87f2606ad290840a6686f988ffd91bfb79b51fb","datavalue":{"value":{"entity-type":"item","numeric-id":3608430,"id":"Q3608430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397231$EAA920C0-C20C-4777-A5DF-2E91100D9454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a595a5a77e03a5752581523c5152bf0f896014","datavalue":{"value":{"entity-type":"item","numeric-id":4883282,"id":"Q4883282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397231$FE3C7C2A-8F8B-47CF-9074-FD20C13F900E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397231$B9AB41C7-D5B9-4B79-B795-A659FCCEB592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9916acae3c5f1fa2203775504b75059dc2c908","datavalue":{"value":{"entity-type":"item","numeric-id":5608767,"id":"Q5608767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397231$F623B9F2-9798-42BA-B78C-83B763C9B3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94092aef2b1d0ae3420848a607c799cd1edd4c0f","datavalue":{"value":{"entity-type":"item","numeric-id":3838821,"id":"Q3838821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397231$DEF116C4-BC41-47FC-B472-972302293D8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f4140579fc97120f219f8c0c13a2d57e254ce79","datavalue":{"value":"10.1016/J.ENTCS.2016.09.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397231$56D62C8D-621A-4C7B-A3C2-897E579CF548","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89e0aa4de4e6435497f61a9d892d2b27d9babdc0","datavalue":{"value":{"entity-type":"item","numeric-id":5415611,"id":"Q5415611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f6f4d98686679dd95b1b2dbf80139d68c2d648","datavalue":{"value":{"amount":"+0.7547831535339355","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":"Q2397231$27F1BB1C-3CB9-4817-8E08-5F6B5E097EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97920642832a791e207a9209a0261b313c5f07e","datavalue":{"value":{"entity-type":"item","numeric-id":5039205,"id":"Q5039205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af6c873be13afc8562b5cfc0a5cd96cb5d4ec536","datavalue":{"value":{"amount":"+0.7461139559745789","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":"Q2397231$E4AF707A-7F6A-459E-BE7A-576260E9ECE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd2c597745dcde73634a208c0f63d170bb8e3cc","datavalue":{"value":{"entity-type":"item","numeric-id":2351164,"id":"Q2351164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2b8d0bc4589fe3cdece924b01761513e88318c","datavalue":{"value":{"amount":"+0.7455543279647827","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":"Q2397231$D0A9141E-BB46-4598-AA12-9A78890AB869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c52edf7774a67c2abb0abe2989f27a790a92770","datavalue":{"value":{"entity-type":"item","numeric-id":5234710,"id":"Q5234710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec0d8f0dbf8fd8008bb75cefd1be1e8a184ee61","datavalue":{"value":{"amount":"+0.7338635325431824","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":"Q2397231$E5A3B064-055A-4A7C-846B-93766A1D1036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"499efaefddc6b87be6aa05cc40354d2059cfd098","datavalue":{"value":{"entity-type":"item","numeric-id":2703714,"id":"Q2703714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"855578aa4dc0d72ad4edb6eb1ed3c624cec52700","datavalue":{"value":{"amount":"+0.7232621312141418","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":"Q2397231$6B3C700C-BA97-4449-9436-B919014271E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A unified procedure for provability and counter-model generation in minimal implicational logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_unified_procedure_for_provability_and_counter-model_generation_in_minimal_implicational_logic"}}}}}