{"entities":{"Q6393886":{"pageid":13527251,"ns":120,"title":"Item:Q6393886","lastrevid":42175039,"modified":"2025-05-27T09:00:47Z","type":"item","id":"Q6393886","labels":{"en":{"language":"en","value":"Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6393886$DD28FD2E-5D6C-478B-A971-E056FCE9D38A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"acee27211c540e6d5c2366514874b0c468da47fb","datavalue":{"value":{"time":"+2022-03-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":"Q6393886$DA677769-F420-466D-A0B4-8FE5CCC9F3DE","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"ddc131c4ff99f941ccff01ed7fd7b899fdd80d67","datavalue":{"value":"2203.08720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6393886$8B68B6A4-54E5-488F-90BD-92B5FFD5EAAE","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6393886$B6A69D28-3613-4067-86A5-49186F2D1C87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2d638021660716db5787978cf34b6aa4aef754d","datavalue":{"value":{"entity-type":"item","numeric-id":878155,"id":"Q878155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6393886$D413A82E-BAAA-4AE8-B6B1-5AE000AF1D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42b1041ba8f5005efa707f8a2eaa62c8625af6c2","datavalue":{"value":{"entity-type":"item","numeric-id":332083,"id":"Q332083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6393886$770485C3-605D-40F1-BD22-49FF0FB55EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"241d91eac26be9dafce27577b0d1f937fbd531b1","datavalue":{"value":{"entity-type":"item","numeric-id":353354,"id":"Q353354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6393886$2EC5414A-B701-4473-A19D-8513B51FD647","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6393886$8C7C79F8-BC40-4E7A-9A9B-5DEFCAB4F882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6393886$49BEB2DA-4494-4006-90A8-31EE248E36EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6393886$4CAA40B3-20A0-4039-8A6B-703D6BA52B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6393886$469E420F-25CF-4979-91E0-DCAD72A565FE","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":"Q6393886$4FC9674D-FA65-4120-8C6B-D8A25FE5957B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1d96bc4fc362f8523e23c71a0fa550511826367a","datavalue":{"value":"Q123349894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6393886$78C1044B-C331-49F6-8031-D2E676716454","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5909447fd8dfb2788953fc3d70573c167169fa64","datavalue":{"value":"10.1016/J.APAL.2022.103212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6393886$54D0725D-9C2F-41DE-8546-1973921319D1","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"cb360c0095d721e1689f6d6941e75c0f848977cd","datavalue":{"value":{"entity-type":"item","numeric-id":2111114,"id":"Q2111114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6393886$3A3927E8-4B1F-42D6-959D-A56959AC8D01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6393886","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6393886"}}}}}