{"entities":{"Q5216980":{"pageid":7246550,"ns":120,"title":"Item:Q5216980","lastrevid":55367794,"modified":"2026-02-17T14:42:32Z","type":"item","id":"Q5216980","labels":{"en":{"language":"en","value":"FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7171849"}},"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":"Q5216980$A04492AB-FB57-43E8-8626-2DB625E2B67A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00cec10a007830b39bf157a4b026dffdcd148127","datavalue":{"value":{"text":"FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5216980$D3BD4871-5962-450A-8E02-E36A2E5F39D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5edf1e9fd8f043d15f14d13f86888d56aedf3c0","datavalue":{"value":"10.1017/S1755020319000418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216980$EA965FA2-71C4-450D-B06E-01F72C58DF40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e5ee35daa6179cc3c1911639a50238000723caf","datavalue":{"value":{"entity-type":"item","numeric-id":256785,"id":"Q256785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216980$E0BD603C-8521-41C8-A0DA-9B82F080F1FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216980$E15CBCEB-A6D0-4DB1-88D9-415F42F8A3ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24486b0c9c2f4867c6ded703b21ce26ee6b26916","datavalue":{"value":{"time":"+2020-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5216980$D34DC723-8662-4111-82EF-F369296E680A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216980$7A8D78DB-AEE9-43FC-AB5B-1A16E69EEA1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7de75476f9e92d8a3e2143fcf6f09d5c1790a18a","datavalue":{"value":"7171849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216980$CD7E4B07-053C-4F14-85F3-2D5EA02FC11C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216980$AB976B18-BB04-4F40-B73F-9C526DE3B89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7140b0b5e8faf08d111cac61118e9bcfaa3105da","datavalue":{"value":"possibility semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216980$C0BB8461-CC1C-41DD-A52D-CC8239AE000D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb10a7c9b9a143fbebb56bbd5381c044a2a7ccf1","datavalue":{"value":"completeness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216980$6FEFF517-2729-4AA1-87AA-A25B71992708","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1bcd77f21a6c6c51785589a4a4c1b71f99dc7dd2","datavalue":{"value":"Q113857268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216980$FD6A4230-9870-4015-B605-12EA009F5657","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":"Q5216980$99940F2D-F1E7-4ED9-AE36-21BAACDEDCB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216980$B6199F6B-A876-45BD-BB59-ADEB118BFA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74e8ec785db48513b7a19c3e9a1dc867c365622c","datavalue":{"value":{"entity-type":"item","numeric-id":1877094,"id":"Q1877094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216980$DA047762-4F00-4C0C-91D7-EF29BC1B7D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b4d384854c2e13796ad2c51119423fa143380d","datavalue":{"value":{"entity-type":"item","numeric-id":4789451,"id":"Q4789451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216980$6F071E7B-241F-4ABB-98F5-EFC8840EF8CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07696fca1aa99d197789cc76962015833ce12ac8","datavalue":{"value":{"entity-type":"item","numeric-id":582278,"id":"Q582278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216980$6BE46BDE-A9AA-4AFE-8949-02E4E258CA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d5f543a032973696bb4d2f7c260367a1c57524","datavalue":{"value":{"entity-type":"item","numeric-id":3509055,"id":"Q3509055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216980$35BB2505-0620-4148-977C-56DF055F8DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12127c80a65760abc0d053706e1b947ad02ed12e","datavalue":{"value":{"entity-type":"item","numeric-id":4636300,"id":"Q4636300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216980$C126B3BD-2134-4630-9474-E54E8A243353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216980$8DB0BA8D-6B50-401D-9671-899FECB06F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7b4a02a934ae312fe49821ecb1608cd905c787","datavalue":{"value":{"entity-type":"item","numeric-id":1161736,"id":"Q1161736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216980$513CF865-3605-4D62-B251-B44C74001B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6bd10d4256cffe31c9651535215a9b72289354f","datavalue":{"value":{"entity-type":"item","numeric-id":5483006,"id":"Q5483006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216980$D2681109-609A-49AB-A7FD-DFD19C0E7968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216980$DB18FC4C-5EA9-47B1-9EA4-2E557216FF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07be17a47b8932e3c742bc872bd64dd1b30bbb45","datavalue":{"value":{"entity-type":"item","numeric-id":688796,"id":"Q688796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216980$1C92F063-D948-494C-BAA7-684CADF504CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216980$E750381C-E828-414F-A958-4B337A56F075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea62f8a3af315a183c23780ff18a95752e4c717a","datavalue":{"value":{"entity-type":"item","numeric-id":3133167,"id":"Q3133167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216980$15960AB5-9B21-4BBE-9C1B-BD6E5FA2607A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e36795af1c4ac95246051c74940f6762f6bfd2c1","datavalue":{"value":{"entity-type":"item","numeric-id":4555450,"id":"Q4555450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216980$9920FD68-48FD-4158-A2A4-8EF12A4671B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70eea5c7b1a896d2c301b2c88d723366fa8bd666","datavalue":{"value":{"entity-type":"item","numeric-id":4636300,"id":"Q4636300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44cd0261c3057bb85980c6ca8bb82dd8da52ba63","datavalue":{"value":{"amount":"+0.7867212295532227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216980$01F28E07-30C4-46E3-AC91-0CC80DF9F600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e670fad4f45ddff8f45ea405512465bd00634da","datavalue":{"value":{"entity-type":"item","numeric-id":1877094,"id":"Q1877094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a4b526802ce8492345c2a1f6691593e2609d5f4","datavalue":{"value":{"amount":"+0.7301780581474304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216980$DB3FAEF6-2826-4FD5-B8FE-A00900972D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d76af1cd1aeddd27c3af1be11af5a9e9973d86","datavalue":{"value":{"entity-type":"item","numeric-id":3315479,"id":"Q3315479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b4986d5a64811ed0d2d52ad014870e436dd581","datavalue":{"value":{"amount":"+0.7228535413742065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216980$C3ECAAB4-6DF9-4C9B-B6DB-D67E3F2EBF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd30d2c97d61b561712d7223c61b174ece52c1d","datavalue":{"value":{"entity-type":"item","numeric-id":863182,"id":"Q863182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa038659adf0a9d9d4a4b09ef5b068c1d9b09ca","datavalue":{"value":{"amount":"+0.7198072671890259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216980$E02544C1-3B02-478F-82AB-4D5AE902960C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a9879e7160b4c505169b91d846c15ea890d1592","datavalue":{"value":{"entity-type":"item","numeric-id":5883183,"id":"Q5883183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feccd443513288a69184d5b8b0d2deccb8b57095","datavalue":{"value":{"amount":"+0.7184340357780457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5216980$16A18526-BA5C-4DDD-8412-6F34AAC5A958","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5216980","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5216980"}}}}}