{"entities":{"Q4645235":{"pageid":6674816,"ns":120,"title":"Item:Q4645235","lastrevid":53315726,"modified":"2026-01-24T17:25:40Z","type":"item","id":"Q4645235","labels":{"en":{"language":"en","value":"A simple tableau system for the logic of elsewhere"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999520"}},"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":"Q4645235$D3CAF285-396D-4DA9-8546-8000FFDA36AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"346280379dcd733f084ad060c0a9ab59b2f36ef5","datavalue":{"value":{"text":"A simple tableau system for the logic of elsewhere","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645235$F5DD7206-EE48-4C7B-9075-5C9CFD5B699A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a2dc96a9eac22e61bf215d401ce50bbd25fbe3b","datavalue":{"value":"1415.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645235$B7C7AEF2-8367-4191-AEA6-EF9C2D612E83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"487b4fdc79a275ad983ca388a78acf57071370eb","datavalue":{"value":"10.1007/3-540-61208-4_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645235$9C92ECDC-A211-4F6A-9C70-F57396B6297D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$CC9E3D9D-AE38-48BD-BC8C-1A277B69B5AC","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":"Q4645235$41FFC038-0032-49D0-831A-8FF22FA68126","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":"Q4645235$32194C0F-A9DF-4A3C-8B3B-9B6393D6E753","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645235$AC24B712-74B4-4975-A4C5-0DA05D290D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645235$84EB66EE-F269-4298-ABEB-91AF358C8DBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7f98212c0a5edef52842e6202dcac01c9e8c10e","datavalue":{"value":"6999520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645235$68B5D8D8-0FF2-43DB-8003-BD9E2118C75C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5389f846c6ee70f3ad2438379b2781469fa68ad","datavalue":{"value":"induction hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645235$1A833DAC-6BD8-4663-855F-20BDD3E3A59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645235$882152DC-805A-4C74-8968-F3947D6E2A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645235$53AF0EFE-7244-4CF8-AC32-402C0EDB3927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d86666bce4e863fa22d076e113065531d77c2aa","datavalue":{"value":"propositional variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645235$985B77E2-9724-4978-A00F-E42CDFC167BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645235$B0601145-601A-40F5-A83B-A961AF5A05F5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4fcbbc12ff0cc07e406341b97e062f2fb672fc0","datavalue":{"value":{"entity-type":"item","numeric-id":23614,"id":"Q23614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$BE91E167-5A5E-4A65-A20B-B6EFC11BBCAD","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":"Q4645235$43AF8067-C73D-4A18-B994-772CE392F4C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd7ee1c54c458059aa0c074778181be7d5ca1826","datavalue":{"value":"https://doi.org/10.1007/3-540-61208-4_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645235$7AC8E48A-9A1A-4E45-B691-47CD070FCC22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a86e6337b99746d5c3f91fa0fe20eb05f262774","datavalue":{"value":"W1582676071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645235$9FD48F58-EA57-4628-B133-0F1346229CE6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"925f5ecfa5a7f28801d04e2a0a5dc023244c9dab","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$EABE6794-9F82-46B3-8F48-01ED1479212F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$0B84C703-F8A2-44D6-9075-8276F630B91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17111cee03f20c988485639ad04097683a72b88","datavalue":{"value":{"entity-type":"item","numeric-id":2536519,"id":"Q2536519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$5BAEB8D2-D331-4670-8DBA-B1F334392F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8576e12ead1260620241f1c154a798ed23413350","datavalue":{"value":{"entity-type":"item","numeric-id":4835516,"id":"Q4835516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$FF544904-EB6A-4C92-924B-A047E87FC715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d26a276d2f5c2436c6b90f71f9f05df6b4c1aa","datavalue":{"value":{"entity-type":"item","numeric-id":1214910,"id":"Q1214910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$604B1A53-FACD-42A5-BDBB-0E1299AF7F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37772bc8a9ab069bf1b2842d6e80861b80209223","datavalue":{"value":{"entity-type":"item","numeric-id":4032643,"id":"Q4032643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$C42A5E74-05E5-40D2-98F5-51903DE15D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33f86a2eb1bf18538cbb0708a6c0704b31c5228","datavalue":{"value":{"entity-type":"item","numeric-id":3680806,"id":"Q3680806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$8F8585BB-50DE-4D54-9DEC-6282DEC17C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b1f9f8921b3649b10fb13e40ea38574e19ba3f","datavalue":{"value":{"entity-type":"item","numeric-id":4032879,"id":"Q4032879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$0554CB22-EE94-41A7-A51A-87E1BD5F6E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6196b21646cd0b7afc41684d31c13b8afef512","datavalue":{"value":{"entity-type":"item","numeric-id":1220492,"id":"Q1220492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$BF64A674-1317-4208-92DA-4EEF78565122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$56E3C346-413B-4042-9652-2F9E279AADB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5b36bc29ceed97d7f7df9301741351cda0737","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$84E7B380-3315-43F8-BA9B-076217747257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff88c8deafe84aa3979279617493df51d40e2371","datavalue":{"value":{"entity-type":"item","numeric-id":1310624,"id":"Q1310624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$2655CF07-1CC0-42A2-8495-55A9EDA47576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3efaf7196a1042742f6796e8fe3994a0c6d9bad","datavalue":{"value":{"entity-type":"item","numeric-id":918533,"id":"Q918533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$09DF7B7A-0913-44AD-8836-3C5B99CF9034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$8D14AA18-A246-4628-90EF-CA035F9A4C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b356ce08b4c99f2940e2874e7822fa7411c905","datavalue":{"value":{"entity-type":"item","numeric-id":3478385,"id":"Q3478385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$4B799C31-20F2-4C6F-B90F-AFBF421056C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269af113feb3632279464e025fd9f9d59e022e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1855229,"id":"Q1855229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$8B298842-9BC7-492E-B65F-09F533291062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$AF3F4405-9EA9-4102-9387-A9A5FBE3673D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$6B26FE7E-245C-4409-A35D-0F92E2A66E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$F713B72A-2CD3-4BC6-936C-DCFA2E25DCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8699f899d3d9ead3546ea31dca3cd85bdb091db7","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$DFCC95E2-155A-4012-BA2C-7A1F33087345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f513e7b690bf8dc357938bb3234af45e4790627","datavalue":{"value":{"entity-type":"item","numeric-id":1329745,"id":"Q1329745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$75837F2E-2B22-40D4-BC85-887D87E66470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb11ce571ff640a6288e9e6f07adec1b72be214","datavalue":{"value":{"entity-type":"item","numeric-id":5688814,"id":"Q5688814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$558C381B-7FA8-43B2-A837-EEBF365E0C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e14cfc361f0a1b92d8539c762fe0b3ad4c1609","datavalue":{"value":{"entity-type":"item","numeric-id":809068,"id":"Q809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$401E2435-E762-48C7-B70F-8CFBA39E11E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c232a4ac94055e2cc6462047a2680a2578759dc","datavalue":{"value":{"entity-type":"item","numeric-id":3887437,"id":"Q3887437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$452D69F5-127E-432E-B402-BA7991F5F125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645235$3E14CC17-945C-4CE2-B662-31D5C837F695","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84ec19217f97fe11b11f80c79a1ccbad51227ab7","datavalue":{"value":{"entity-type":"item","numeric-id":1295438,"id":"Q1295438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa9ea47324e2ee781d5570cc439ee889edbc8d6","datavalue":{"value":{"amount":"+0.8047555088996887","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":"Q4645235$800B0A18-3E59-4EAE-8C76-401893879156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"867884e5f130187eea45a20d5eca77e7368739a3","datavalue":{"value":{"amount":"+0.7473090887069702","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":"Q4645235$50C8EF2F-1A72-4E55-AFAB-3307C5E6554E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c595f8293d5bed0227e1747b9ffea55e6cefba1c","datavalue":{"value":{"entity-type":"item","numeric-id":3397155,"id":"Q3397155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"731a03c3d48e04223d6a6b711f94e0f1e5244f80","datavalue":{"value":{"amount":"+0.7371816635131836","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":"Q4645235$F3C0A7DB-C438-42F4-A47F-7498050F2EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75b7768d0f17c4af32c9beb560fda01e421c0304","datavalue":{"value":{"entity-type":"item","numeric-id":817688,"id":"Q817688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7423946db8ec7e9e28f4e228b1c5e1256c58147e","datavalue":{"value":{"amount":"+0.7363057136535645","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":"Q4645235$0367433D-9F6F-42D4-805B-49766FFA7897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3463f4012707b2ea94492366846098f2b4fef8","datavalue":{"value":{"entity-type":"item","numeric-id":5419887,"id":"Q5419887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651387e7cd43eae6a60f9ae58943cdee68981a40","datavalue":{"value":{"amount":"+0.7283532619476318","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":"Q4645235$37BE1B4E-53D6-42DD-9354-C5169DAE8E96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645235","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645235"}}}}}