{"entities":{"Q1972816":{"pageid":1983558,"ns":120,"title":"Item:Q1972816","lastrevid":46911639,"modified":"2025-12-25T20:25:57Z","type":"item","id":"Q1972816","labels":{"en":{"language":"en","value":"Explicit definitions of implicitly definable objects in some modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1431907"}},"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":"Q1972816$97B8404A-168B-4D6D-8CE4-BE363197E2E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfe54b2ca6449810255a3561151f0b4f063d4316","datavalue":{"value":{"text":"Explicit definitions of implicitly definable objects in some modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1972816$BE4256C3-5737-4E88-A199-36B6871C62FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88804803496f88cab7ec3f54a1dfffabb479fb97","datavalue":{"value":"0936.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972816$3D8182F1-23C3-47B3-B01E-17BADE40D990","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e862363dfd09b78dbe9bfa1c797725cab53bbe57","datavalue":{"value":"10.1007/BF02683839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972816$B386A5B7-7397-4D7F-8741-03BC4B638343","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972816$83F23955-1409-47E8-94D0-DF1F22ED828E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eabf40ae2ce7091a866094c302ce82489d929ba4","datavalue":{"value":{"time":"+2000-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1972816$24E8E963-5368-4C87-9ADB-13AB05A5A36F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972816$66CF2051-FD57-4719-8A31-7CFA0D89590F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c1d5892e487714ca1f66cbad7cad315a9b5ebd7","datavalue":{"value":"1431907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972816$DB39E452-E810-4786-BE24-F5BE9C8C5205","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972816$620AEAD0-B842-4178-9741-873B31C76489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972816$C5FC3532-B11F-40ED-A19C-E4EB0E8DDA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34cd7462353b2e3fe1cbb060246c04dcede6e9e0","datavalue":{"value":"transitive frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972816$DB0ADB24-0FD0-4A74-A48A-485A248BB2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"624a388c9508e806fe79e0b9b942135d1589de3a","datavalue":{"value":"antisymmetric frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972816$541330A9-0063-43E1-8C57-8D5847EB6617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972816$6C8D7123-4EB1-4D6E-BAE9-A8DC29D4FADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4e0172aeeb596f43bf9733c8330242d392f88c5","datavalue":{"value":"implicit definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972816$E3BA0161-A3F6-448E-AFA0-FC12E2526822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e32f9d4b5f63b30cc69a54dbde0078111ed933e7","datavalue":{"value":"explicit definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972816$21334677-51CA-4864-9FE0-C2C53CEB67C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972816$F055E7E1-4741-4B31-A8C9-F6C91D25253E","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":"Q1972816$2A6DF9E4-6EE6-4123-8F11-1AC3D50F8B10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5480e757641876cfc6bde3997aa64170539f0617","datavalue":{"value":{"entity-type":"item","numeric-id":3363966,"id":"Q3363966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972816$6C3E039C-A613-4152-B65C-A9DADACEAD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7e200623c0db8babd002504b2488a3561c7266","datavalue":{"value":{"entity-type":"item","numeric-id":5824680,"id":"Q5824680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972816$9CDADF7D-382C-492E-9000-80423AA616D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972816$785E321B-97CF-41E1-B660-DA4AE2069034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad606f5b66ad05b4a0525f5a938aae1134f6937","datavalue":{"value":{"entity-type":"item","numeric-id":1222645,"id":"Q1222645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972816$96BCA8D6-4842-4C5A-81EE-DF634EA6A389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d5668a49f4a4426fb24403c4abf943b3c09dcb","datavalue":{"value":{"entity-type":"item","numeric-id":4023306,"id":"Q4023306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1972816$E7B1D246-52CC-4164-9616-74D82B14924B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4e68477f828a742cae3d09adff795ca04e2f80","datavalue":{"value":{"entity-type":"item","numeric-id":3363966,"id":"Q3363966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ebf83fb0b4ac736e62504c2ff0880e5398199c","datavalue":{"value":{"amount":"+0.8253167867660522","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":"Q1972816$57C8E8DA-6740-473A-BEF8-9603AE0D1E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10e5466eb0bcd775343af52d82ecc3e688a6574f","datavalue":{"value":{"entity-type":"item","numeric-id":4866986,"id":"Q4866986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b41ab8ea8fe288c562991c8d7f0147bd82ff84e","datavalue":{"value":{"amount":"+0.8145154714584351","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":"Q1972816$7D8B4CF4-1951-4F6D-9861-44DB0DE4FA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c1cc5b95e5f7e8dc149092e53d38c42c5e23bdf","datavalue":{"value":{"entity-type":"item","numeric-id":3644800,"id":"Q3644800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"854138ea7b11e367b8a74dcf43cd3b972ee2b0b2","datavalue":{"value":{"amount":"+0.8026217818260193","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":"Q1972816$C52CC8F0-9A7C-4ECB-81AB-F72EF7B1714C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad12c18a2944c1e9a8db41a9991e52139aa6c26","datavalue":{"value":{"entity-type":"item","numeric-id":4268406,"id":"Q4268406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f1253ac8297c143c90ce54aad8dfc07d2ea260","datavalue":{"value":{"amount":"+0.785993218421936","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":"Q1972816$AD2F3F6C-BFE1-46D2-B85D-AFC82F72D501","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1972816","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1972816"}}}}}