{"entities":{"Q3170560":{"pageid":3181270,"ns":120,"title":"Item:Q3170560","lastrevid":85978853,"modified":"2026-06-03T13:05:29Z","type":"item","id":"Q3170560","labels":{"en":{"language":"en","value":"Notes on Craig interpolation for LJ with strong negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5951149"}},"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":"Q3170560$F4790AA9-9CDC-48BE-B3F3-1D686360C962","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c28da6a373c344519ffa073fb9f1db4c80880105","datavalue":{"value":{"text":"Notes on Craig interpolation for LJ with strong negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3170560$BE38F0C3-DEAE-4A2A-9BA3-E2B31D024528","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e01190ceed28c7f68d7d9f45d36cbece0a8e20e0","datavalue":{"value":"1241.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170560$50DEF483-3187-4993-BFA9-C25EB0E0A6B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170560$58D31D64-139F-4A5C-A6C5-B01031451ADA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170560$BE28A2BD-BBE6-48E8-990F-E86D1BD560F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23abbc7df50e9b56d73974fbfb185282140729b3","datavalue":{"value":{"time":"+2011-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3170560$C4CA2ADD-6E58-447E-87F4-3BFA7FF221C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170560$1C2FD7B5-81A3-41AB-AF18-18FB03FFAB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170560$61B3E0DC-0E21-4348-BBF5-409866520024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170560$25B77E12-5946-4C72-AE9B-AE60DFA0B5B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"800c6a03918e2e5fe5b051fffeaf197589717eb0","datavalue":{"value":"5951149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170560$7847DD28-D033-4125-BACB-B340B63C3C50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fde67ccdcc9bf6d54bedccc7954a6dc7a773329","datavalue":{"value":"Craig interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3170560$88680822-9BBD-4343-9808-E2A159F037D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bccb38ccbc47d29e625440d16d6d32644b1e5d57","datavalue":{"value":"Nelson's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3170560$FDC3B1FA-EF1C-4A57-A22D-656E02141FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3170560$0E620C1D-91B3-4607-A04F-E6EDD8050576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3170560$3C8752AD-DD5F-4F40-A035-89F01760C045","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":"Q3170560$48F640BE-C001-4D4C-A72B-6AFC21A18AB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62234e303366e971c177496dda000c9251f5930e","datavalue":{"value":"https://doi.org/10.1002/malq.201010016","type":"string"},"datatype":"url"},"type":"statement","id":"Q3170560$09D2362F-016B-4B2E-B1C0-EB15F4C53FC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88893ffbdaec6b1b1822de047fd36558d8b0ced9","datavalue":{"value":"W2065453168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170560$8AF91A85-7083-4800-860A-6E221CA10636","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170560$E71CEBC1-7FFF-4D0D-A648-26250A669379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5280fb162e668bf53e1d08bed23996ddcc67aa6e","datavalue":{"value":{"entity-type":"item","numeric-id":1919988,"id":"Q1919988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170560$581CFA8D-A158-4846-BA19-62D7BCD905F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce3671c1e58c5f8f5eb1f61752eb867b0a63344","datavalue":{"value":{"entity-type":"item","numeric-id":1274293,"id":"Q1274293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170560$17D00746-1A53-47EB-92E8-41E59C0B3FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170560$112CEABA-14FB-47C7-8553-8C1ABFEBC1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170560$D257F5C1-A1F9-4F01-8A14-F00161503B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a55025adbc0829a6ef916a864eb62a5459c973f","datavalue":{"value":{"entity-type":"item","numeric-id":1840645,"id":"Q1840645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170560$95DB2489-144A-403C-9C63-2C97DFCDE6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3dddab2d0747f362f5568fd5142dde52cd1092","datavalue":{"value":{"entity-type":"item","numeric-id":1241438,"id":"Q1241438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170560$B8AA96CE-B0F8-4B83-A62C-F229A63D42C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf487fbbe749499cad6f9e55d76b78791641015","datavalue":{"value":{"entity-type":"item","numeric-id":5411482,"id":"Q5411482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170560$5F15ACB9-AFBE-4B10-B18A-F763F144FF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999c8fe94a19a2d0a1c3cffca1245dbdea8ff1ee","datavalue":{"value":{"entity-type":"item","numeric-id":5736158,"id":"Q5736158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170560$C1052377-CDD2-4A37-BEEA-066094D99C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170560$ACAD2D14-97AD-4EB0-B4F4-E4DBBE2288FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e06928af1f41b8c1efc27988b1ee0372a433546","datavalue":{"value":{"entity-type":"item","numeric-id":4438105,"id":"Q4438105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170560$B822082A-C6DC-464C-923F-E020FD8D5AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2e8217d7d1c10a832aed186030e5ce80766c08","datavalue":{"value":{"entity-type":"item","numeric-id":815018,"id":"Q815018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170560$1B25041E-CF10-41DB-A936-E971AC4FF2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4385bceea38a1d58397e6860f6e6b34883372145","datavalue":{"value":{"entity-type":"item","numeric-id":1006448,"id":"Q1006448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170560$D0C6E216-18B6-4345-BB55-834523D47188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eabf2469e4464b01fdad25e8f968c2ff56e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170560$565C3D73-6405-4902-9523-E3D7F545F93B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"614c521b627e37be6e6e1e4634ec8ffea21fc464","datavalue":{"value":"10.1002/MALQ.201010016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170560$8FA7A628-867A-4B6C-B0F9-864EF36AF058","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Notes on Craig interpolation for LJ with strong negation","badges":[]}}}}}