{"entities":{"Q6659896":{"pageid":14271053,"ns":120,"title":"Item:Q6659896","lastrevid":100173782,"modified":"2026-06-05T21:33:15Z","type":"item","id":"Q6659896","labels":{"en":{"language":"en","value":"Combining first-order classical and intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7964350"}},"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":"Q6659896$52D28A1D-2E5D-474F-97F8-517A80BFD01D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ece2a53ade60e3109741a2ac59b0b9fc584950e","datavalue":{"value":{"text":"Combining first-order classical and intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6659896$39895712-26E4-457A-870B-FB02A10CA7DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16becc70a484320eb255b3df212ec0d615905f61","datavalue":{"value":{"entity-type":"item","numeric-id":6058201,"id":"Q6058201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659896$482536BF-CF0D-4787-9A31-DAE7857A0B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de42c790bfecc7c912b4336cc05398121dc9d5b8","datavalue":{"value":{"entity-type":"item","numeric-id":497415,"id":"Q497415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659896$E5A04022-AF1B-4929-B920-F1592F3BFAF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4d97a11f2ce21fc62fce1ecd5bb5e80dc2dcc64","datavalue":{"value":{"time":"+2025-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6659896$AF65CB97-7DE6-4C71-9194-BE3DA35ED293","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659896$4AF4A516-D80F-4128-81BB-B0E31C956679","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8af4b156d317576388b3ebca172c618b4dfc4b34","datavalue":{"value":"7964350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659896$682F209A-06B1-4E89-B6AE-74EBB4CD0CE8","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":"Q6659896$345DB5B2-9572-408C-B765-308B566C03F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb5430564e11943bd063024a46d08c198d08184","datavalue":{"value":{"entity-type":"item","numeric-id":3525005,"id":"Q3525005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659896$046CFDA6-E0D5-443C-B44A-432BBA8C4C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd39db358b5575d273bdd3138ac3ac7211a996a","datavalue":{"value":{"entity-type":"item","numeric-id":4385438,"id":"Q4385438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659896$219BFF32-8163-4AD2-8965-5587B6052757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c98a013c9db2f476146a2adecaf1e0f57be407","datavalue":{"value":{"entity-type":"item","numeric-id":4636288,"id":"Q4636288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659896$7F07F2AC-9930-483D-827D-CE3C2712C9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be6adbacb915dbf54fc550a4feb912036627eb","datavalue":{"value":{"entity-type":"item","numeric-id":731484,"id":"Q731484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659896$A8B87978-92C0-4A07-8755-58FBA0CFD62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c602d6bd2ddcfcc7066bfb369353de5ba2dd44","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659896$F194DD9E-CD88-42AA-BC75-3B1EADD1E012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849850b9ed12440696721a397c7b09f48058467e","datavalue":{"value":{"entity-type":"item","numeric-id":1258727,"id":"Q1258727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659896$14EC59A9-1B0A-4A42-8D19-AC4FEFC6E3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969ef26fcfdf9d5d5849cddfe8c4018a9c28da57","datavalue":{"value":{"entity-type":"item","numeric-id":1788333,"id":"Q1788333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659896$A6FFA4DC-8119-4733-A48C-27AD734CE144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc0df9c2a9512d9affedae87940e446dc6e1df4","datavalue":{"value":{"entity-type":"item","numeric-id":2284502,"id":"Q2284502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659896$D11FAB2D-EFE4-4A5E-AD24-8DEEFBAE7DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c74ba08b5b24a08cf2ff91a3e872286c642afe","datavalue":{"value":{"entity-type":"item","numeric-id":4518866,"id":"Q4518866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659896$CE8EF9FA-DA68-463A-AD93-E68A9B3A54B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d869703fee80be20b6627dc739b2c1ebfaa39938","datavalue":{"value":{"entity-type":"item","numeric-id":5829018,"id":"Q5829018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659896$58D2EA55-78E2-47AD-A1DC-26F60F18E748","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":"Q6659896$0B64C567-C2BB-45F4-9A57-C662136B5567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d235b13b6189b04afc72d8494188fd02e92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659896$56071B5B-FE4E-444F-BBEA-99EE018F0039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659896$81CEFA8A-3BDA-4DD4-80B3-991EEFF60938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917601c08dabc79ffff24f54083ae1060b0ea824","datavalue":{"value":{"entity-type":"item","numeric-id":2419910,"id":"Q2419910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659896$84CE7E05-CAC7-425C-8023-DBA3DB0588EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659896$8E3E12CB-CA11-4F29-A560-110D747BBEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c19fd5e0d0037d5b4c8f3e70e0dbdd46c2ff0d9e","datavalue":{"value":{"entity-type":"item","numeric-id":6067097,"id":"Q6067097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659896$F7CABD83-D9B2-4839-B5E0-4F60A5E2AB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"834e558e4d6809ba0f04efc812c24df0129715f9","datavalue":{"value":{"entity-type":"item","numeric-id":3119349,"id":"Q3119349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659896$5817CC86-E163-4681-A469-B81A70F17AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9829e013fd8a2e1647e725cf79d1fdca6a822c9c","datavalue":{"value":{"entity-type":"item","numeric-id":1333312,"id":"Q1333312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659896$A65B71F7-C301-4E3E-AA0C-951B261E6270","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81f27035d1a9c2d573721dcf6c38fe9bc49a5187","datavalue":{"value":"10.4204/EPTCS.358.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659896$7C06832B-8F1F-43FD-A259-1C98E1AFDCD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining first-order classical and intuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_first-order_classical_and_intuitionistic_logic"}}}}}