{"entities":{"Q6889845":{"pageid":20835604,"ns":120,"title":"Item:Q6889845","lastrevid":84198215,"modified":"2026-05-13T11:57:50Z","type":"item","id":"Q6889845","labels":{"en":{"language":"en","value":"Craig interpolation for awareness logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8131425"}},"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":"Q6889845$291A1E69-EBB8-4A56-8D9D-48FE2538E698","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c91959c4d05da0b447bf0b4600ab72e0471e27e","datavalue":{"value":{"text":"Craig interpolation for awareness logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6889845$C980BEAE-3DB1-4EAB-8262-2E1E94ECD055","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9748ce2a76c7fc4172f82f7ce75e2b946a8d7823","datavalue":{"value":"10.1007/978-3-031-89610-1_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6889845$2E49629D-187E-408B-BDE7-F248F7F11384","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"574de80fcecc3f808c70347ebaff1623bfe1764c","datavalue":{"value":{"entity-type":"item","numeric-id":6889844,"id":"Q6889844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889845$9A0D153D-C41A-411B-92B7-E197F99B91B0","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":"Q6889845$2864C76E-E6E1-4291-A48C-EE8A1A4A4DD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fcb6b1f2d2c7e392377c9a4c2df3e14c0322b86","datavalue":{"value":{"time":"+2025-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6889845$DFCB9763-7AB3-49A6-BE7B-F1AB03A37E0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6889845$CD94629B-3B4F-4EFC-B900-85732DB805C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d034ca12d4fdf34a883e3d9d6cf4fc320f01bfe","datavalue":{"value":"8131425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6889845$1B0EA757-6FA1-471F-95FF-5656409275E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6889845$2E1243A4-AA61-4829-8847-027DFFB3070F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b06a0530d6e656770d4e3cbba7617d6c7a5072c5","datavalue":{"value":"awareness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6889845$8DD02A34-80CF-4F6C-B07E-17513B3B6050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6889845$73D0A5E2-F472-45E0-A82C-DB934DC0DFCC","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":"Q6889845$DFBA5D5C-7368-4663-B204-720BEA9FD348","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6859974629692e7f7ae9e880660fa35ccbfe1205","datavalue":{"value":{"entity-type":"item","numeric-id":2966524,"id":"Q2966524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889845$5DCD161D-F349-491D-8D78-CEC1A09452A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b737d4b64eeb62b1424663beaf3e16c9a24e52c9","datavalue":{"value":{"entity-type":"item","numeric-id":5937855,"id":"Q5937855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889845$C1988F79-BC58-4AE8-A2C8-F8779AF23E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7800bc6820ba1dfe0ff93ed54423d801c54d78e4","datavalue":{"value":{"entity-type":"item","numeric-id":4430394,"id":"Q4430394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889845$3DBA4C01-F771-4A7B-AAFE-671FE3E0DC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4efffdd5deeb66416c0fa99dbc01193280d3b3a","datavalue":{"value":{"entity-type":"item","numeric-id":3063981,"id":"Q3063981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889845$8495EEFD-9A8B-4D1A-BBF6-43FC7362421C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d2a1acabc8d0c27a05aa69968baa678ad24687","datavalue":{"value":{"entity-type":"item","numeric-id":1096610,"id":"Q1096610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889845$68EBC939-77FD-44C0-90C4-F9B5AE749072","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":"Q6889845$BFCE918A-ECC0-4EC1-B50A-EC1657C8FE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a15ee4074263eeba695becf6aa2b93915cc15cf","datavalue":{"value":{"entity-type":"item","numeric-id":700078,"id":"Q700078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889845$1689ADF1-8112-494C-83C3-6FDB61D3516D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7400013c92e00263b2c0e59d74ae708b60fd149e","datavalue":{"value":{"entity-type":"item","numeric-id":1036579,"id":"Q1036579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889845$2F0110CB-AEF5-4FF4-B1C6-1B77533130F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd40713ac929df22dc670083e2a4362a4a6c67fc","datavalue":{"value":{"entity-type":"item","numeric-id":5274878,"id":"Q5274878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889845$9FC147BF-123D-4C56-B0CB-6A553BAE0332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8bda967b11722c5ac2b19ede6e38d6de3d55c","datavalue":{"value":{"entity-type":"item","numeric-id":4250364,"id":"Q4250364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889845$B385019D-4DDC-40EC-A227-A1CEE9D857B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626844e9f28589d93bd8625672a9cd46823c520a","datavalue":{"value":{"entity-type":"item","numeric-id":3262211,"id":"Q3262211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889845$6568FE9D-256E-4CCB-A354-94E31A2261B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a1c588c740fe3cbe85a8b068c195d5be3a6020","datavalue":{"value":{"entity-type":"item","numeric-id":4699355,"id":"Q4699355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889845$B18D0E78-D1FB-48DF-AEC9-E4858FAD04A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1947e643c87d43208655a7def78d97290c56541a","datavalue":{"value":{"entity-type":"item","numeric-id":5884967,"id":"Q5884967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889845$212BF217-76E7-413A-B61B-FBA478B1765C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38566189e0b05bfe69dbf1efcdf0cb52bb86fc8e","datavalue":{"value":{"entity-type":"item","numeric-id":6597133,"id":"Q6597133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889845$5588B1A4-3279-4220-B84E-C9DC7C1B74D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"089558e1caef7b0b9211a161d712e4aaafa26225","datavalue":{"value":{"entity-type":"item","numeric-id":4443189,"id":"Q4443189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889845$1FEFBE8B-E6F5-4CDC-A1E1-09E064324B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842dba95cd5c60b1b39652daa3ab7e276b1afb96","datavalue":{"value":{"entity-type":"item","numeric-id":4032549,"id":"Q4032549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889845$F4BFA430-6B78-4110-93AA-5165C340170F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eacc81bf66ff060ee99fa9ba68745c99fbf1f3b","datavalue":{"value":{"entity-type":"item","numeric-id":4627724,"id":"Q4627724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6889845$8171D054-547F-4813-A1CB-4B463FA00042","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Craig interpolation for awareness logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Craig_interpolation_for_awareness_logics"}}}}}