{"entities":{"Q6884703":{"pageid":20804761,"ns":120,"title":"Item:Q6884703","lastrevid":84206783,"modified":"2026-05-13T14:27:59Z","type":"item","id":"Q6884703","labels":{"en":{"language":"en","value":"Deciding non-Fregean identities: a dual tableau approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8136271"}},"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":"Q6884703$BA49B62B-F14A-4901-8014-99FA1C5CC71C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"382acf9d0d8bf7920949d458b2a1cd31457a0347","datavalue":{"value":{"text":"Deciding non-Fregean identities: a dual tableau approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6884703$2407D020-4D2A-450D-BE14-2C391D3837DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"272601de747e6bfd2abd1f1b8162a19d1e0ad5df","datavalue":{"value":"10.1007/978-3-032-04590-4_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6884703$BFD57664-E184-4641-8C0D-FAF77F266DA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd1f466985cf8143741f29cc3aa6e4e8a4f57c99","datavalue":{"value":{"entity-type":"item","numeric-id":284217,"id":"Q284217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$BACCA3E0-F596-4978-8DC1-19094EBC7765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6801765190caa605b5374fbd95d7ea30191e571f","datavalue":{"value":{"entity-type":"item","numeric-id":286705,"id":"Q286705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$40E102CA-969B-4C11-ACFD-8DBD9CD418F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"157e3240eaf1299c061d7da05b9688c998dc4b21","datavalue":{"value":{"entity-type":"item","numeric-id":821568,"id":"Q821568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$1E549383-71E5-4108-BADE-111AD0AB0DE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbd4fecb04d8db599a838be91371026bf542f5cf","datavalue":{"value":{"time":"+2025-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6884703$03254756-118E-4BD1-94CC-F10875FB4E27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6884703$41B24A19-68A2-4615-B87E-471828E0384F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b56fc85c6eb54211b628fa92b0b0b8747e3fa124","datavalue":{"value":"8136271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6884703$35F48B0C-FD38-41CE-A7B5-1CE65D6E5F23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c7385a430a2af8ac65a3ba39f72c19b96d3853d","datavalue":{"value":"sentential calculus with identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6884703$24BEEE79-3176-4637-8AA2-0006DD1BE92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bd7a9f3a2e418ce9443c75273677ccb852ef76c","datavalue":{"value":"dual tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q6884703$4376DF26-F89E-45E6-9C72-8153DA7E65E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e269374e5a98e44a2949e7e46023a94d0f33df27","datavalue":{"value":"analytic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q6884703$EF6965A3-C0DC-414B-B658-F8FCCA95DDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6884703$3DDAB10E-EF3C-44DE-A131-D65437319C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6884703$2F60AD74-B3F8-4E67-ABE0-FB9B2FFEFBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6884703$681C4BCB-23A7-4E07-99F0-98D84AA7B99F","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":"Q6884703$D3DA8121-2A4E-4FED-9A4C-79AA9889E52C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fd06da9348f1d52e2cbff62e89d8a526dbbeb2","datavalue":{"value":{"entity-type":"item","numeric-id":770676,"id":"Q770676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$18FD951D-3E83-417E-AD48-41E29F855ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"107d1364e1dc72b391848722e23862138e20cdb9","datavalue":{"value":{"entity-type":"item","numeric-id":1221743,"id":"Q1221743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$C5A6ECD0-F030-4285-AD90-3042C9050437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa9e1d474cea604ed5dd0070a7308423afa8f35","datavalue":{"value":{"entity-type":"item","numeric-id":2554322,"id":"Q2554322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$B299DC16-5D71-4135-8A1C-07730D39F242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e68de368fb8d286319cbe25289d5f0386dbda2","datavalue":{"value":{"entity-type":"item","numeric-id":2537104,"id":"Q2537104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$0799B1F4-4F40-4A98-AB25-B3FB6FF025CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"630f64f96b41890d0243f36f4782f7d4c9de4944","datavalue":{"value":{"entity-type":"item","numeric-id":1653652,"id":"Q1653652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$E1DA8760-D67B-4762-974D-8F134C3FAC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15969da430dd79b9be0499621aa8cddedb6a17a1","datavalue":{"value":{"entity-type":"item","numeric-id":4935259,"id":"Q4935259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$89C29252-6E5E-4C53-A2E5-2FE1EC9351B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c421ecfb91ee07ed1b57f9254f37342b5b6d6d","datavalue":{"value":{"entity-type":"item","numeric-id":6599611,"id":"Q6599611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$5E50473D-92EA-42A0-ACCF-AACFA4663B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e328584338e141d5e01fa3734ed8c5a8640eed0","datavalue":{"value":{"entity-type":"item","numeric-id":3647282,"id":"Q3647282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$771CE4BF-F1D7-46C3-B4DC-DD8CCED0526F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a05e03cf45b0ade24b5b0152e7b1693597982d","datavalue":{"value":{"entity-type":"item","numeric-id":6953410,"id":"Q6953410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$5996D103-0924-47AA-A2B5-815822752B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94b66d0ff6cc2167f21300b9b21e5de5f5a7aea7","datavalue":{"value":{"entity-type":"item","numeric-id":815015,"id":"Q815015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$94AB33C2-D31F-4491-81C9-4E34D5B849A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b3ffb6d9f26e0d1e20dbebaf33b8343aac9a68","datavalue":{"value":{"entity-type":"item","numeric-id":2055842,"id":"Q2055842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$3E867549-53C9-4B0C-9C5E-0C7BB88CE557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b640149bab9a4beed8181bf0b819da73ce631cda","datavalue":{"value":{"entity-type":"item","numeric-id":995673,"id":"Q995673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$DEDC7586-AE4E-460F-A0EE-02CFDD510C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae171cb009776ff965b66a7b067c7304d6508e82","datavalue":{"value":{"entity-type":"item","numeric-id":3227561,"id":"Q3227561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$A22D196C-764C-4A28-BA53-8A7692461A42","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":"Q6884703$C6A583AF-73EA-4CC7-8E0D-352480145565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7c0ed8aad586b712cab7c1c683b4fee3fab10f8","datavalue":{"value":{"entity-type":"item","numeric-id":1236430,"id":"Q1236430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$B82B5F2C-B60B-4DA5-8846-5D2DCC483DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607a0c758c7f5182c8338488f4a03318f251f04f","datavalue":{"value":{"entity-type":"item","numeric-id":710340,"id":"Q710340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$4F2E23A5-977C-41AC-812C-1D27C4FD6F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5906a3f48670210bd3cf26d335f7bea64625af","datavalue":{"value":{"entity-type":"item","numeric-id":3279278,"id":"Q3279278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$399744A2-B356-4CC3-A78F-3B7B2583C11E","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":"Q6884703$C42DE2DF-77C0-44A7-9EAB-67D8B49DE27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b86e6542bde47d8eebfd1fb82b7135bc900d48d7","datavalue":{"value":{"entity-type":"item","numeric-id":5641129,"id":"Q5641129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$82FDA4D3-F495-400A-8F25-9A66FEEA722F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cefd9bb1fc8a5d739cff8c63e572a7dcac4078bb","datavalue":{"value":{"entity-type":"item","numeric-id":2561209,"id":"Q2561209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$45E8826C-439E-47B1-BB39-3AB9AABECBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a482abfa521287f9cdd1de5d301bba8230a83e6","datavalue":{"value":{"entity-type":"item","numeric-id":4065517,"id":"Q4065517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$4C51EAE5-CE80-4D3C-BBCF-9DD428C1485D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e377b633ba621ccac6894df1e13a744d34c641ad","datavalue":{"value":{"entity-type":"item","numeric-id":1256439,"id":"Q1256439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$859E6E31-40A0-44A7-909C-632A7B0B8CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30272c58a0e5dfc68a9e934943bb0f6d044da78c","datavalue":{"value":{"entity-type":"item","numeric-id":1233432,"id":"Q1233432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$84023204-E0B7-4F3F-B96D-7BF7699A9261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0d54b51dc0b584c05a28dd29ddf167ffe5f2fc6","datavalue":{"value":{"entity-type":"item","numeric-id":1072540,"id":"Q1072540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6884703$0C6D4BAD-1423-4BEB-8301-C8B71D29B553","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding non-Fregean identities: a dual tableau approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_non-Fregean_identities:_a_dual_tableau_approach"}}}}}