{"entities":{"Q259071":{"pageid":260838,"ns":120,"title":"Item:Q259071","lastrevid":60448923,"modified":"2026-04-10T17:05:32Z","type":"item","id":"Q259071","labels":{"en":{"language":"en","value":"Existential second-order logic and modal logic with quantified accessibility relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6553700"}},"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":"Q259071$D98C8BA4-65EC-4539-B92F-96DBB80A1CA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7676fdf3ebd692c21a133839b5aa369e644a32c","datavalue":{"value":{"text":"Existential second-order logic and modal logic with quantified accessibility relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q259071$3C4E2598-66CD-480C-8DF6-5FA59204DB41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88898ac58f54b4902b404b9f77d3b883e917a693","datavalue":{"value":"1402.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259071$BAF7CB96-36E9-420C-805C-9E13473F98B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4601a858f87638d70dc47292abc072f2d23b4985","datavalue":{"value":{"entity-type":"item","numeric-id":259069,"id":"Q259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$23D8D887-4F8B-48B8-BB7C-A57627599ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5701ad4194f8eb6060f36ec886e2cd63ec21f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":259070,"id":"Q259070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$C068D043-D8ED-409C-AA2D-BB2FFAEBC4F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$B6E99270-3E97-4A59-B3F4-FA6359119725","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb99c7dca7fc19ab88781c20d2306850c8d8602","datavalue":{"value":{"time":"+2016-03-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":"Q259071$86F9D894-E87A-469D-A95F-5D2E3200EDB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259071$828524C5-D16E-434D-9FBE-DFB4CFCE64DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259071$ACCC9120-D6F7-47FC-8AE2-B786522773EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259071$B0917179-E5A4-43F2-81ED-1C0F2BABA7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259071$E880F4AB-2C5E-4E26-9DE9-7BA184F17406","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fea5dfa49d979a7a291e502b5411ce7ee3435f2e","datavalue":{"value":"6553700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259071$6F89A68B-354B-43E6-8B64-2AC72B1189B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fc29fb6866ff15dbc5079f8d12fecff6f66005b","datavalue":{"value":"existential second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q259071$891CE213-8CAB-402A-9A96-D8E372DD0110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q259071$CA4FC3C2-95A9-486C-86A5-D6D705D31E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q259071$B5FBD8B7-999A-487F-8971-6D8A6658D07E","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":"Q259071$0CFC36CF-74BF-46D5-A6E7-175C0E996A4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02c2e690330d0ea0b10472aa9546500ce2f51b78","datavalue":{"value":"https://doi.org/10.1016/j.ic.2016.01.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q259071$BFBC1967-5795-4504-B770-D93A6C5A9766","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3199a0e363953e8161aa79560810666e46b920f4","datavalue":{"value":"W2181631406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259071$4115E82F-A1C6-465A-AF78-3DC4838661FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"957892286a77298fd7faca30f1f60dbb53f94696","datavalue":{"value":{"entity-type":"item","numeric-id":1054720,"id":"Q1054720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$14C7F112-F433-4F3E-AFC4-405709DDC237","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":"Q259071$FD04311F-8333-4B59-AA34-5E5CEFB06D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fff70f794b26e320204c34a00c8318c5a3faa2c","datavalue":{"value":{"entity-type":"item","numeric-id":4399718,"id":"Q4399718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$7B2935F8-3905-4E06-9381-B40AA7429255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1630ee5af00db53c3291f37c8e390b1646e4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4298571,"id":"Q4298571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$4D39BFAF-C6D6-4996-96A4-0AAE25DB368A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0033bc33eb314957324991df34507e05f434d84c","datavalue":{"value":{"entity-type":"item","numeric-id":4068694,"id":"Q4068694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$92325EBA-9F62-47FE-9650-9990EEEB4A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b281dc35e2d9dcca3aab748e9cfe77b0afc75c4","datavalue":{"value":{"entity-type":"item","numeric-id":688663,"id":"Q688663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$92FBA7D5-A064-4EE5-963C-7D186E712CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$9235BFDE-6FF0-42C5-94B6-20F622F96A57","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":"Q259071$913CAB44-0562-4C12-9400-6F51ED1101A1","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":"Q259071$3A318E7F-028E-4393-8E4E-40528249F8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03bdde2160e97b05b3878523710001cdac260e8","datavalue":{"value":{"entity-type":"item","numeric-id":5501192,"id":"Q5501192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$77791585-D812-437A-B98C-2B9CF0781D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab2ffefd2594461100c810d308f1c20d44819091","datavalue":{"value":{"entity-type":"item","numeric-id":596315,"id":"Q596315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$F2DD11E5-3ACE-4FB5-A26F-857CD0FCA7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$04E9D5F3-053D-4ACE-B5B2-63582634F135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65e5dc55dd4aaa6c813e83d3ad89f58eb468c36e","datavalue":{"value":{"entity-type":"item","numeric-id":3185766,"id":"Q3185766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$ADED6BC2-18E7-48E1-A93D-2083FCB63DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecca54508906e4011695aeae26b951f98ffd436a","datavalue":{"value":{"entity-type":"item","numeric-id":4503911,"id":"Q4503911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$221F1E23-3ED5-4244-A5CA-8CAD9F56A2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57051d75714f24389c768017d9959a9ec3341024","datavalue":{"value":{"entity-type":"item","numeric-id":2922030,"id":"Q2922030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$DAD54EE0-7943-48B0-BFB7-0913A8039E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12369e80eed459827edf7f87ae04db3ec5c639f0","datavalue":{"value":{"entity-type":"item","numeric-id":4536345,"id":"Q4536345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$187DBA5D-226D-4C5C-805B-B2E645AE014A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c61e005731fb2383f9915ad360e55fdea1c476d","datavalue":{"value":{"entity-type":"item","numeric-id":5415640,"id":"Q5415640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$87CE021F-321A-4564-99C1-215CCFEAB603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$237815BF-EA2A-4DA3-BCCA-A3BB8E6B8DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b07300338fa589e0d13797c392f9165b28e0bf4","datavalue":{"value":{"entity-type":"item","numeric-id":4430407,"id":"Q4430407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$4AE51821-8F56-4E3A-AA38-B84F31FF8FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2a7747461b8df0433e719ae9e2a5e1d8ae3441","datavalue":{"value":{"entity-type":"item","numeric-id":4783312,"id":"Q4783312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$61CA1C6D-15DA-4081-8FF3-7DA177EC4068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d300ae98dd450fd6aefa39637806a7bac77659","datavalue":{"value":{"entity-type":"item","numeric-id":4071739,"id":"Q4071739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$A9E40EE2-6C9C-4830-9242-4AFB4D700536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f7dffbbdf90a391dac0a2f8f00672291ae8293f","datavalue":{"value":{"entity-type":"item","numeric-id":5431297,"id":"Q5431297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q259071$2E45109E-23C7-4511-ADF5-C037273DEC11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f98d925ed640c9e233224ab194e40aab0122cdd","datavalue":{"value":"10.1016/J.IC.2016.01.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q259071$513DC0C9-A8D4-4624-8977-631E466A0CFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ab52ade56f29950de1deb9bbcf0f11b992e0be","datavalue":{"value":{"entity-type":"item","numeric-id":3185766,"id":"Q3185766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2832263a8ac0a2075f31c6f7cdacf257716aaf1c","datavalue":{"value":{"amount":"+0.8534232378005981","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":"Q259071$DAC977B6-9A20-4454-A29C-EC73E93A75B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df18e32cb866610bafd8f3cf31f6ee81c97a6bae","datavalue":{"value":{"entity-type":"item","numeric-id":466445,"id":"Q466445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcbcbfdd1409be0719b3ce55687c9a85ca2be97a","datavalue":{"value":{"amount":"+0.7573979496955872","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":"Q259071$1E1BC24F-16C2-462E-AE7D-4DF945D1618A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97473340d0cf76b48d9635a8aef94637fa2b713b","datavalue":{"value":{"entity-type":"item","numeric-id":4779649,"id":"Q4779649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e15aaf3deaabd6c71764e66573bc321aea0ddb02","datavalue":{"value":{"amount":"+0.7568020224571228","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":"Q259071$55FCF484-B8F2-4B93-AB09-518DD809B2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab5bc4e7ab5e744d3041a47d0969255471ea5dc","datavalue":{"value":{"entity-type":"item","numeric-id":2499295,"id":"Q2499295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e2c08960d96d9ef4f3a4483f345fe86cc1d66ff","datavalue":{"value":{"amount":"+0.7378703355789185","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":"Q259071$EBF3A19A-15BC-4215-9F8B-51ED198CCF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f6260dc6c47832252b65f669536f22a4044482a","datavalue":{"value":{"entity-type":"item","numeric-id":3085169,"id":"Q3085169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da408ebe4c24fa4c58ed3eca05fdef527e86ef90","datavalue":{"value":{"amount":"+0.7232797145843506","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":"Q259071$0E6DECF1-9572-4F4C-A520-2673ABA1E8A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Existential second-order logic and modal logic with quantified accessibility relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Existential_second-order_logic_and_modal_logic_with_quantified_accessibility_relations"}}}}}