{"entities":{"Q2408087":{"pageid":2418830,"ns":120,"title":"Item:Q2408087","lastrevid":52922831,"modified":"2026-01-23T19:53:08Z","type":"item","id":"Q2408087","labels":{"en":{"language":"en","value":"Retracted article: ``A completeness theorem for continuous predicate modal logic''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6788755"}},"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":"Q2408087$896C7C9E-50C1-4550-BF27-718BC403FC43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0805a6609fa67f708b05cc28edada2ec570567ed","datavalue":{"value":{"text":"Retracted article: ``A completeness theorem for continuous predicate modal logic''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2408087$4ED01465-4609-4C22-87B2-D0007CFD255F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2494f1315c1601455e563b3671024aadac48000","datavalue":{"value":"1400.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408087$40ECF58F-DD5E-4CE2-AD25-73F9F1D98AAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41727d55f4d48c1029c1bbe7a3cee1640d697b9d","datavalue":{"value":{"entity-type":"item","numeric-id":200743,"id":"Q200743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408087$FB896D82-DEF5-433A-A067-E35CB5B68641","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408087$13857159-FC32-4E06-8F79-1D1A49651D2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b805027d484a1ee4406ba104b77ea325092ca470","datavalue":{"value":{"time":"+2017-10-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":"Q2408087$BC30DB00-DFFB-4C3F-B5F6-AE4AC1AD058D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408087$2597555A-8746-49E6-8699-024649B2CF90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c0499f28b6743eb94d66946f7576dd8407fc090","datavalue":{"value":"6788755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408087$D1500CDA-AD50-4FA0-B717-E68B9409F8EF","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":"Q2408087$1089BA57-5D1E-48E2-A085-704A8A3A30C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff97a191ea05eeb93b2346ddbb8253cbbe8ebd00","datavalue":{"value":"https://doi.org/10.1007/s00153-017-0554-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2408087$8151301B-CD55-47E0-951B-FB7E07D68067","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d30e599812ee735552fda0ba5a54153c6492f73e","datavalue":{"value":"W2611361880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408087$29653830-0EE2-46B3-A0D1-2901492E6825","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f5b4b17a10a79ae68b5cf892396e4b60c697c00","datavalue":{"value":{"entity-type":"item","numeric-id":3460523,"id":"Q3460523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408087$E47A6CE0-9C81-4F13-BB74-F7F03170E920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f752ae246ff00bcbe470e385722e1fbc5aa290","datavalue":{"value":{"entity-type":"item","numeric-id":3602612,"id":"Q3602612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408087$B2DDDCA7-2885-4E01-98F5-FB2D742E261A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516de7c1a2a6d91e822ee36cdc0100494c8e920e","datavalue":{"value":{"entity-type":"item","numeric-id":5190194,"id":"Q5190194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408087$4CA73052-7C84-48B3-B12C-72F2D4F9A43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bfff65a126464fc71cfd36aef4d94639f604c53","datavalue":{"value":{"entity-type":"item","numeric-id":3053471,"id":"Q3053471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408087$A07A17E9-497F-46F1-95FF-767E0533220A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c2a682b2e9dec9a4775e1451429ca20ffba5fe","datavalue":{"value":{"entity-type":"item","numeric-id":3989936,"id":"Q3989936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408087$836985E5-CF82-494F-A4D4-3FE21208E989","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":"Q2408087$61F02FE1-7863-4772-864A-AEADE7336D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e19c9003c18edc5e65fff75387249184382f27c","datavalue":{"value":{"entity-type":"item","numeric-id":3580668,"id":"Q3580668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408087$14C4616D-BDB0-4BDF-B57E-83CCB36B205A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81f7ddedc6463238bbdc1e96dca0d078466b6fdc","datavalue":{"value":"10.1007/S00153-017-0554-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408087$FCA1CE2B-10B5-429F-9AD8-B49395386391","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb21a69ba4c55e79afb1e565c30347890e15eddf","datavalue":{"value":{"entity-type":"item","numeric-id":453885,"id":"Q453885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64e78a35649a9b3c43e77cc79aaa0696f878ca6","datavalue":{"value":{"amount":"+0.7493121027946472","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":"Q2408087$C59CF67F-4EFE-4282-B449-84B347372FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"680c47fe6ab83ac62965491f14f32c9b673ddc1e","datavalue":{"value":{"entity-type":"item","numeric-id":2183965,"id":"Q2183965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de07bbbbb18287148541d49dab2b201b5b0ee0b4","datavalue":{"value":{"amount":"+0.7478391528129578","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":"Q2408087$1D949607-E277-4540-8D00-291028243966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0743fe6afa767dc1b3c7a94bdb101ad7a1142994","datavalue":{"value":{"entity-type":"item","numeric-id":995612,"id":"Q995612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2788cc778e700c04f8bcef01698ed3ba1f88a77c","datavalue":{"value":{"amount":"+0.7435476779937744","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":"Q2408087$BB923B77-5AF7-4113-BCAF-F38578B0C314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc5fb2e6a04c47cb4455b495b8dc98190ad62602","datavalue":{"value":{"entity-type":"item","numeric-id":6095335,"id":"Q6095335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd4c0b803254c19c2f357867b061e70ca08a428","datavalue":{"value":{"amount":"+0.7422924637794495","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":"Q2408087$23F85E4D-5CBF-4EE7-8F08-E63D2F645AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a792b6feff528fd3dead9e6d2884916a9e5d932","datavalue":{"value":{"entity-type":"item","numeric-id":497730,"id":"Q497730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c95d354d3edcb9c0cf78b8d6358114c4db909c","datavalue":{"value":{"amount":"+0.7295231223106384","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":"Q2408087$9CD5D405-B6C2-4A79-A35B-16A999A77274","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2408087","badges":[]}}}}}