{"entities":{"Q1163535":{"pageid":1174284,"ns":120,"title":"Item:Q1163535","lastrevid":66415623,"modified":"2026-04-12T09:55:45Z","type":"item","id":"Q1163535","labels":{"en":{"language":"en","value":"A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3760131"}},"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":"Q1163535$1E908813-5877-477B-B851-08F3ECFACC35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d85de2db4e50cce8bb717e929cab49845bd8029","datavalue":{"value":{"text":"A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1163535$9FB933ED-45E0-44AE-B951-9132D8BEBAEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ff6aeb226408a3fe37fb515c50bee03011e0f81","datavalue":{"value":"0484.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163535$4DE6B846-9F99-4F3F-9876-7C2F5216C43E","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":"Q1163535$9B9A69DD-E32A-4335-9EFB-1259E84EBE7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"816e97a1cfcdf018f87d172411a8ab21b6bfff04","datavalue":{"value":{"entity-type":"item","numeric-id":361729,"id":"Q361729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163535$E398C87B-911C-463D-812B-B2F6AF903F99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1163535$E2E3330B-2869-498E-B19C-81E7F0CF88F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01b6053d467a1a282b7f2fdda8377b475cfe5931","datavalue":{"value":"http://www.numdam.org/item?id=RSMUP_1981__64__39_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1163535$3EBCB3B7-29C4-46EE-912F-89E334E92266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d63715ce4309542ea402023cd924325c10de1964","datavalue":{"value":"https://eudml.org/doc/107801","type":"string"},"datatype":"url"},"type":"statement","id":"Q1163535$A03350BE-3EE9-48C3-B474-53FC47ED5047","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163535$16562403-968A-442B-88F2-F26280BE26AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38608ae12fdb69b196bfd422d3fa3eac5cb11966","datavalue":{"value":"3760131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163535$9564315E-C9E2-4CDD-906F-F86A395BA1C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163535$D4875EE7-2DA3-4231-AD6A-987EF16C1ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"093e5399f9dbf826bdd53c58af7037d8946f18c1","datavalue":{"value":"type-theoretical modal calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163535$E11D431E-3B57-4273-8A10-2EDCF5D1EEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2565fb360bfa8bcdef3362f652ada1d64910b","datavalue":{"value":"interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163535$194743C7-B734-4D21-B132-38FCBF80C8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc1c3e0d7ad5ab3795792d64b13aaf3b41be66a3","datavalue":{"value":"contingent theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163535$AD9D806E-0DEA-4963-A311-CD83C9CF39E3","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":"Q1163535$E4BABC82-87F1-4A4B-80D0-B903E0A98BDD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"591f515395370fafe15c517dc7d5b4efec8bde05","datavalue":{"value":{"entity-type":"item","numeric-id":5668436,"id":"Q5668436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163535$9540975D-66F9-4952-8EEF-165EF472E735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d24ba35b20a332bc9ef4233e65065d88ccf0e4","datavalue":{"value":{"entity-type":"item","numeric-id":4083394,"id":"Q4083394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163535$C3D18E4D-35E0-4ACE-A611-CFF1ED517B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ab80be6468b26d37ec8f2b8156c5fbeb2f7063","datavalue":{"value":{"entity-type":"item","numeric-id":1844816,"id":"Q1844816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163535$AE0FB529-3DD1-472D-86B4-F080C42339E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"987dcf5d50c476ffd52477a7dc1a5e47211f111f","datavalue":{"value":{"entity-type":"item","numeric-id":3931253,"id":"Q3931253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163535$E5FC7513-CF33-43B1-A75F-525FB1F0D632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163535$4F47DA58-2ECB-40F3-80FD-02BA43F30E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163535$EDCBFFCA-7663-4D32-8001-212AA758EA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163535$D41FBABE-0E4B-4235-993D-D4A8F2759E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d89d0eefe6197b52769533b6772abd89e8401e5","datavalue":{"value":{"entity-type":"item","numeric-id":3248967,"id":"Q3248967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163535$582E2D11-DFED-4757-88D0-69897EA46C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163535$4315C053-1661-4098-9FFE-CC46E06402F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2563e23716e4a627a85ee47e0587c2972663fdf5","datavalue":{"value":{"entity-type":"item","numeric-id":1248616,"id":"Q1248616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163535$9B81B3CB-77EE-4CE3-A35B-3D5B157D48DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a5564c7c56c46abfc3017f95d879759497aab3","datavalue":{"value":{"entity-type":"item","numeric-id":1227597,"id":"Q1227597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163535$90C740D8-8297-4CD1-B17C-AAB3E440784F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_completeness_theorem_for_the_general_interpreted_modal_calculus_MC**nu_of_A._Bressan"}}}}}