{"entities":{"Q4779584":{"pageid":6809164,"ns":120,"title":"Item:Q4779584","lastrevid":74479122,"modified":"2026-04-14T22:48:13Z","type":"item","id":"Q4779584","labels":{"en":{"language":"en","value":"Fibring Modal First-Order Logics: Completeness Preservation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1836033"}},"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":"Q4779584$E6531FFD-638B-4FD4-AA67-49CD3B7CD6F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d09838e4c767c302a30ca4114b9dcdcd1f806d7","datavalue":{"value":{"text":"Fibring Modal First-Order Logics: Completeness Preservation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4779584$E3B07399-39AE-451E-BB12-9368B4F3A12E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e25d0013d25650a00b09427322815d17bcfa51e","datavalue":{"value":"1017.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779584$169989C9-6835-4C14-9071-F0A87732FCC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ceb85b48ec12d7f6a6d7ea0e4b9c87f925bd00af","datavalue":{"value":{"entity-type":"item","numeric-id":585185,"id":"Q585185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779584$1CB0CD70-2AED-464A-8C0E-70FDD9A6969B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"285d9750983a099fd09d5b668a563562c82d80f8","datavalue":{"value":{"entity-type":"item","numeric-id":694497,"id":"Q694497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779584$F460F379-985D-489A-927B-0F52F7734108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f777adcad6332a741f226656c48fe659c1cfa7b","datavalue":{"value":{"entity-type":"item","numeric-id":694498,"id":"Q694498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779584$A66035E5-A952-496E-BE24-F81FF16DED0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"827dfa4373d59d6d09fe679abb67eca1fdd0daf6","datavalue":{"value":{"time":"+2003-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4779584$5E57E1AA-AF1D-4D91-B29D-59DE6F6134C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4f0e8fc0835a5e3b44f4d4a1539fe1f11748c4e","datavalue":{"value":"https://semanticscholar.org/paper/a6f06fbf7fdf741445df82d38eab1f62ffa8b73a","type":"string"},"datatype":"url"},"type":"statement","id":"Q4779584$A63E6F0A-2371-4F70-92D2-EA6E6F60D63F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779584$C748DC40-AACA-4A02-91A4-97C4DEDE09B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779584$D1AA17D6-3100-40F3-97A7-BA2D0C841A4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"237d7b35982026f0c58d621ff7c048166579349f","datavalue":{"value":"1836033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779584$E901F908-2FC1-4180-9C59-BF11466B652F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f346264936768a92306e42f086dac62aeb178e5","datavalue":{"value":"fibring","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779584$12C68A5E-C878-4647-BC07-FBEB189C73D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779584$29AC060B-0B5F-4048-8376-1168BE87AA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779584$095EDBDF-652D-4E6D-BAD7-B54A928B0EE9","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":"Q4779584$702C917F-659D-4C64-8D0A-57629383D291","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b883e981b8146414c69ed7a64a22203d2bce20f0","datavalue":{"value":"W1963762880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779584$99D3A69B-EA0B-4620-8620-43E899DE8DCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73a7f268ce2042ef33ce915021ec1d7b6947721f","datavalue":{"value":"10.1093/JIGPAL/10.4.413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779584$B672B6DF-8130-4168-B60D-D935E951DFE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2dddfbfb1394e816cdc8d3e73d108aad106e4a8","datavalue":{"value":{"entity-type":"item","numeric-id":2259004,"id":"Q2259004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83663fd730eb59aba65eec5af7eeae5f35645cf2","datavalue":{"value":{"amount":"+0.787559","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779584$CB96A324-25A9-4956-830E-D4A8A6721C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b9a679d72635d3f3ff0cb9b386643f11d3ce3c7","datavalue":{"value":{"entity-type":"item","numeric-id":4451732,"id":"Q4451732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3fa86c20b6db0c3de9288d28a2668cdcada958","datavalue":{"value":{"amount":"+0.7811787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779584$C83BED68-F45D-4973-94AB-7CDE832B1CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ea33a315ad29f6b24d129df8c68769944915b1","datavalue":{"value":{"entity-type":"item","numeric-id":4434616,"id":"Q4434616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e8f27f0eb03605246c6d3dcbb79d3f0c3fd3ba","datavalue":{"value":{"amount":"+0.7669144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779584$75CC58D0-FA3F-4393-8A02-D5ABFE1524E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e93a5c37775881328cf07e9277b9bc219a9c2b8","datavalue":{"value":{"entity-type":"item","numeric-id":3006122,"id":"Q3006122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6130b6534510ea867f7094080804dfdd0cc95d4","datavalue":{"value":{"amount":"+0.76524246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779584$CA7F23B1-9D06-4389-8687-267E71EDB199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aff68a24f4142f0c2ec4a54d6a27bad9ecb607ec","datavalue":{"value":{"entity-type":"item","numeric-id":3210907,"id":"Q3210907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cde338fa4dcb55aef2a654c0e244d5b17658fae7","datavalue":{"value":{"amount":"+0.7650497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779584$79224EED-BED1-4D39-ABF1-B9F898859755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457fcd108e6ee18d4a945ceac4b1d14513f8a0e9","datavalue":{"value":{"entity-type":"item","numeric-id":4217280,"id":"Q4217280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8b4e14b647a86a64eb0d5768f025d0e6b0248c2","datavalue":{"value":{"amount":"+0.75457597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779584$48735DCB-0C17-42D2-A736-952205AA2D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913c88cda5d42cd479e9ba95c8f2d057ac2dcf5c","datavalue":{"value":{"entity-type":"item","numeric-id":4542941,"id":"Q4542941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b0a45b789c042dead3094fcfa79471996d9f8b5","datavalue":{"value":{"amount":"+0.75264275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779584$5C7236EB-8F97-40C9-A147-E11AB413C1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c8459b0464c9ddb2940566e3eb7431e5940abe8","datavalue":{"value":{"entity-type":"item","numeric-id":4793389,"id":"Q4793389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a89aee8277d895745bb5cdb6b8c59b2ffd7d24e","datavalue":{"value":{"amount":"+0.75230134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779584$172F79DB-5836-4E29-8190-BBE59E116F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f6977d605173417b041e68682d4cb0ba6d3f46","datavalue":{"value":{"entity-type":"item","numeric-id":4630801,"id":"Q4630801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce6e75f0a9de66f09f28c582d537dbef1e064ca","datavalue":{"value":{"amount":"+0.7507948","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779584$F4BF169E-4697-4904-B26C-5A35FEB345B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95007beccdd7b5a1e7da4bf4c343255e7508b689","datavalue":{"value":{"entity-type":"item","numeric-id":5176664,"id":"Q5176664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ea175f2a5285b9ea0375e8af3a194dae2e83e5","datavalue":{"value":{"amount":"+0.7506496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4779584$98D0993D-4CD2-4718-86C5-F5EDBF86CCC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779584$71A51CB9-C95A-4068-BF6B-3304ACB6BC8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fibring Modal First-Order Logics: Completeness Preservation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fibring_Modal_First-Order_Logics:_Completeness_Preservation"}}}}}