{"entities":{"Q1788327":{"pageid":1799069,"ns":120,"title":"Item:Q1788327","lastrevid":72960477,"modified":"2026-04-14T09:01:54Z","type":"item","id":"Q1788327","labels":{"en":{"language":"en","value":"Syntactic forcing models for coherent logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6948551"}},"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":"Q1788327$DD565547-D872-425B-9D9A-C3EACD587E3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62a9095ff4860d28773aaba12927d87bd2491df3","datavalue":{"value":{"text":"Syntactic forcing models for coherent logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1788327$927132A0-7B89-47CB-AC7B-8FBC48B06A94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96505b55ed11649ef31517178c7b605dcc09ea82","datavalue":{"value":"1437.03188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788327$7D89716D-741C-4349-9D02-7858AA4CCF68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86dd1292a8b5a1afaa94642cc6a7d0169c59a759","datavalue":{"value":{"entity-type":"item","numeric-id":409313,"id":"Q409313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788327$2862E150-B27D-4F1C-876D-BFCFB03F2164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e65812be4cd0be55e195a415cc5c72e9a1b4f46","datavalue":{"value":{"entity-type":"item","numeric-id":1687769,"id":"Q1687769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788327$985F2610-41F8-4A56-AB9D-924D6B5CF6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788327$F271EE38-D92B-40A5-ADAA-ABCE4A6529E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788327$F6CAEE79-DA61-415E-87D1-61613BEE192B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b482b6ba3fb35deb96d8a9f107a3b0da26ea6358","datavalue":{"value":{"time":"+2018-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1788327$DE944ECF-FD4B-4D5E-9370-0566A3C67ECF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c36fb7fe9b3c0f61cae8e9cbed7b0b54e81f458","datavalue":{"value":"https://arxiv.org/abs/1712.07743","type":"string"},"datatype":"url"},"type":"statement","id":"Q1788327$9E2BC2BE-E3C6-405A-8AF3-C0CD896726C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788327$76850853-CD6B-4FAC-8D99-2DF061542F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788327$A6A8D5F8-48C5-4C1A-BDF1-5275722E8572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788327$59E5D326-5BD9-46AE-9837-4F2C730D374C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62a1731cb00b4c4bf257b877f4df3ad2081380bb","datavalue":{"value":"6948551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788327$22F2BF4E-6728-4804-8166-793F7CF802F6","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":"Q1788327$15CBE286-0D27-4FB3-B6D2-C7B694CBAF47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e06445592bae4720a5c4053fc93e6c166b4179f","datavalue":{"value":"W2963122775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788327$E8E0C1A1-ABF5-4B18-B34D-49A9560D476B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788327$0657E034-F935-4BC2-95BD-1564D5B6AC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf083bc541bf0c234dcd141ce046a20f00fdfad","datavalue":{"value":{"entity-type":"item","numeric-id":1139120,"id":"Q1139120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788327$A49BC918-B0E8-4C91-85A5-74249C0369D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788327$2F00076E-C2FE-464D-9633-9D2AE1019F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788327$CB21A7A0-9EE8-48CA-B202-5CC3345FC0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b4606e96f20da648093bc7dc6078e0a581e69d","datavalue":{"value":{"entity-type":"item","numeric-id":5804996,"id":"Q5804996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788327$C1137F75-4918-4C00-BB1E-2EE707B63F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35d8e5c3dc5f6ffae4280b2d34d20e1fa0c3eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5739973,"id":"Q5739973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788327$D5103292-3B23-498F-8501-5E055FEC3D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748541fc241d4158ed3d6e70e259512d4e8bf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788327$685CD083-31A2-4851-94AD-991A8D6D8CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b2552df22122d49147b3088587e6117b7f5c19","datavalue":{"value":{"entity-type":"item","numeric-id":4351921,"id":"Q4351921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788327$50C764FD-A6FC-49C4-88A9-CFCEAEFE8726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa6646e618ba9f00a0671d851bbf4ba14b6419af","datavalue":{"value":{"entity-type":"item","numeric-id":2919780,"id":"Q2919780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788327$88A9AF69-5E6D-468D-81B1-15DB6C02600B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"816faa08ffe1525054e9bc474b503b10bd5fe0d2","datavalue":{"value":{"entity-type":"item","numeric-id":3866114,"id":"Q3866114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1788327$ADA2E047-0F36-4629-8D08-46BB896542AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68f2a071f38cdf76b6164d824695acdaed065794","datavalue":{"value":"10.1016/J.INDAG.2018.06.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1788327$2327F641-9A6E-4729-9507-13DAB71C9D8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab048ca5b0a6f9421f6d7f27b37f717af765bc5","datavalue":{"value":{"entity-type":"item","numeric-id":3346290,"id":"Q3346290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb3b5f5da46b034a57a8f455d87532b90ff0b589","datavalue":{"value":{"amount":"+0.8774546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1788327$BFAEEB40-254D-4B1F-8A81-A34842799E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7443dd02829e911d0f4c1d4d823d30e1cd49590","datavalue":{"value":{"entity-type":"item","numeric-id":4394917,"id":"Q4394917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5583dea150e843adc4931911ccd1d7eab917b22","datavalue":{"value":{"amount":"+0.87504286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1788327$3B2B9456-EB76-4D05-941C-2DEFBF908044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a51a0c7ebb1b24b7e1eb67929759663ab6faafd","datavalue":{"value":{"entity-type":"item","numeric-id":1205176,"id":"Q1205176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"511ee9ed0f317e2858750857308c9477abb71a4d","datavalue":{"value":{"amount":"+0.8688964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1788327$74B7DA22-C622-4A15-B34D-04CFA011DB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0d39c74ca3bf26dc0add2f69bed792cb718c7d","datavalue":{"value":{"entity-type":"item","numeric-id":4230933,"id":"Q4230933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a5ef1815c216074d4f2e09bc2a3162ba26d3c3","datavalue":{"value":{"amount":"+0.86765724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1788327$C90E2E6F-38C1-4507-99B1-A3B2ED3F48EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a9ce6483b176eed7db96d8fb678f0377b9831d","datavalue":{"value":{"entity-type":"item","numeric-id":1177921,"id":"Q1177921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461d880402877eb6eb6d7d68c19c2b9350b4f783","datavalue":{"value":{"amount":"+0.86616874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1788327$CD1781DB-19B4-43A7-9716-579714C41A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65e03e19c49765b519c497dc77daa59b7b4d463","datavalue":{"value":{"entity-type":"item","numeric-id":1924755,"id":"Q1924755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39b90b10a1939357cf3344b0b3425fa3bbcbbb48","datavalue":{"value":{"amount":"+0.8656051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1788327$08C9EA61-153F-482D-9E77-A63CB1774C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92e4489e3906c25f4ca7d317b3651e66bd52879f","datavalue":{"value":{"entity-type":"item","numeric-id":5874213,"id":"Q5874213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac967dca44a4ca0ed8a2c1836ee8c1a5d1096ee","datavalue":{"value":{"amount":"+0.8570744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1788327$03B569EB-C85D-4033-B99B-3706CB4B0C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f370f12aaf8937314040724216f4c1045d8c66ef","datavalue":{"value":{"entity-type":"item","numeric-id":5028440,"id":"Q5028440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac967dca44a4ca0ed8a2c1836ee8c1a5d1096ee","datavalue":{"value":{"amount":"+0.8570744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1788327$EED8BE20-7AC0-4C8E-8D4F-816DD223B39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596ff3d85c304e9f79b3af3bc7a1ad117947ae34","datavalue":{"value":{"entity-type":"item","numeric-id":904442,"id":"Q904442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fcf5fc928f04116c3410704fe91585a818bcf37","datavalue":{"value":{"amount":"+0.8527709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1788327$9479D867-C36C-4AF9-9D0D-5819938D1477","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntactic forcing models for coherent logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Syntactic_forcing_models_for_coherent_logic"}}}}}