{"entities":{"Q4703137":{"pageid":6732714,"ns":120,"title":"Item:Q4703137","lastrevid":46870998,"modified":"2025-12-25T18:26:07Z","type":"item","id":"Q4703137","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1377706"}},"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":"Q4703137$AE35B533-592A-4FDE-867E-5892A992441B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"474f51507532beeaa8d2ac64d9fc5d2e4c4f698c","datavalue":{"value":"0940.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4703137$CB605A75-8956-40BD-BD61-EF700B693EB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4703137$875E360F-C3BA-4B8E-B9AF-373B0B26CCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4703137$AA013260-57DC-4D87-97E6-9B09954A94B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da3131908ff1ac1042649152f821cfef80bf5853","datavalue":{"value":{"time":"+1999-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4703137$5F3EB0BB-7D35-4B91-B772-E047EA1ECC00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4703137$504C47C5-0606-4FD3-93DC-EB8A1BDEA6E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b8cdfefa87f586b2d0c54a28874b737bf4801e5","datavalue":{"value":"1377706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4703137$99DB9A9D-D492-4F95-A414-9CDD9EC84C46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4703137$30B47608-BB7F-4C77-928D-B7F64B7A6F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a7cf3793f400b8fed6b57af0fe9e54f16a8fc94","datavalue":{"value":"completeness results","type":"string"},"datatype":"string"},"type":"statement","id":"Q4703137$2E35C697-677A-420A-9998-C34CC75CDF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4703137$D040DFE0-82BA-4026-BAA5-94CBB03001A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80586be223f2a47737ac5e47e42ca601c3b11ca5","datavalue":{"value":"Kripke-type semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4703137$2848C8D5-B1BA-49B2-9A6F-492AA3597CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d5d0bcc4766a490a96a6e789b3febc184c86be","datavalue":{"value":"Ono frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q4703137$E6CB05C2-4B64-4D4B-A6E9-3F930151143A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee8982d07df948110e8c530b7afcc06bd29d0d11","datavalue":{"value":"possible worlds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4703137$57D3EB3B-89A5-4892-9371-B52AC26FF347","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":"Q4703137$EC9AA3B1-F35C-4DAC-A5F0-C3595FD66D46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3a59fd53ee518cf6fa23036990f6d6b67b8eadb","datavalue":{"value":{"entity-type":"item","numeric-id":4704648,"id":"Q4704648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08acefd152b47c8b2d087b0e35d68336c0b933b3","datavalue":{"value":{"amount":"+0.8631455302238464","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":"Q4703137$D89E72E3-7807-49D4-A7C0-41AFACC581ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a020c71a67a59da90c8fb138f5c0ed619d11d2","datavalue":{"value":{"entity-type":"item","numeric-id":3469083,"id":"Q3469083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ef226f584affb47d719462a225b35b7ff262fd","datavalue":{"value":{"amount":"+0.7841789722442627","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":"Q4703137$0E2C25CE-EAF3-4901-B89F-4C8712B623B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e599ee233157ee78362f00dd208a178e39bd3a04","datavalue":{"value":{"entity-type":"item","numeric-id":5939999,"id":"Q5939999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b0775fe660289637183f2395d5759a302ccbd4b","datavalue":{"value":{"amount":"+0.7623876929283142","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":"Q4703137$74829E78-D537-496B-8FB9-88B9D6225E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e37c02e5fc129026c4872920f1f5be7b13eae3a","datavalue":{"value":{"entity-type":"item","numeric-id":4250043,"id":"Q4250043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"344e5ae52ce024a5573c047dea2280bb7b38a705","datavalue":{"value":{"amount":"+0.758439302444458","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":"Q4703137$B573EF96-C5E9-4818-8766-2855DA2E672C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4703137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4703137"}}}}}