{"entities":{"Q6050171":{"pageid":13184327,"ns":120,"title":"Item:Q6050171","lastrevid":39671837,"modified":"2024-12-30T17:00:11Z","type":"item","id":"Q6050171","labels":{"en":{"language":"en","value":"Extensions of Solovay's system \\(\\mathbf{S}\\) without independent sets of axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7748769"}},"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":"Q6050171$CD95DC6D-29E7-418A-912E-5DD68C3B7284","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c07d722a5a00462a3040977e90f978a8d94cf099","datavalue":{"value":{"text":"Extensions of Solovay's system \\(\\mathbf{S}\\) without independent sets of axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6050171$524E33BA-0F9F-4F70-A7F3-5335BD979851","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"774710b753989b14b2830ae7350a3865712694de","datavalue":{"value":{"entity-type":"item","numeric-id":2063678,"id":"Q2063678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050171$6FF5D315-E76B-4467-8AF9-4C5ED5B1BE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73faf7a6e2f59746a2f1227234196c68fcf7d40","datavalue":{"value":{"entity-type":"item","numeric-id":1623149,"id":"Q1623149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050171$C16D3615-C546-42AF-96C9-FEEF053E8D32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050171$C179DB12-D58F-4669-B5DA-239923F4D45F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"814c982951c312d9e571bab059f6a40e9b74e991","datavalue":{"value":{"time":"+2023-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6050171$5AEF78EF-F770-4BE4-A0CF-055B0D051CC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050171$ECC591F1-80FA-4678-A7E7-1FA561E34803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050171$5B193B4D-1084-45DB-8CC1-0E6763EEFF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050171$F75C9D98-1DE1-47A4-840E-E12514AEF660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050171$9CC0DA82-9279-4717-AC76-30FCB17EF22C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00c1d1c0832d6861b852d820c34ff6b4fb4c2a70","datavalue":{"value":"7748769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050171$8C69CDD9-E42D-47C2-B28E-CB6892231B80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60561fc49d189db3ce98465572bea013c6af97f0","datavalue":{"value":"quasi-normal mmodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6050171$3273915E-B1DE-44C8-B1C4-267D12CCB46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"906951790dcfaeb99438b4f9c12f15c0243acec2","datavalue":{"value":"independent axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6050171$58079322-9480-4057-B659-6CB0B0616000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2001eb8181e2ed7f17af404b099b22e26dfc65a","datavalue":{"value":"lattices of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6050171$43731927-B8C3-456E-ADD2-061FF8638BFC","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":"Q6050171$2A64B77F-4D4A-491C-B6F2-2DF717FCD591","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050171$D150D980-E684-4B45-A4FD-7547BEA61907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050171$655D54C1-E7AF-47BC-9A20-EA9BF84DB1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea5f9d9fb9b9d6a750290fe7f7b2898d938f52b","datavalue":{"value":{"entity-type":"item","numeric-id":4835534,"id":"Q4835534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050171$2E4AD75C-0A9C-4843-B08A-1A5A0F17F226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050171$B6A9A3D2-8562-47BE-9D13-6FE4D8145DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9f2920514426a0f04be5456b44c89e2476c98f","datavalue":{"value":{"entity-type":"item","numeric-id":2082254,"id":"Q2082254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050171$31CFF62B-5CAF-4DEF-9865-EF89E4374850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d3856dd5fc2d66ad4fac8286249c84a8826d976","datavalue":{"value":{"entity-type":"item","numeric-id":3310052,"id":"Q3310052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050171$C9F2D65A-E920-4972-BD78-18EF344F4F37","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":"Q6050171$60369FE6-EE33-4B29-8E3A-C49927CAF58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050171$5A35593C-4300-4AAE-8CBD-AC99EFFDF292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0389db7be2e276e760be3fbee1d815a588a76f42","datavalue":{"value":{"entity-type":"item","numeric-id":1156789,"id":"Q1156789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050171$9D5E0547-53A1-4888-821D-876BFFA64AEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"147d5b61a12cb146111158ab379b37c391ad0ebf","datavalue":{"value":"10.1016/J.APAL.2023.103360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050171$A07767B8-905B-43B2-A7AC-25F75A5EB4EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6050171","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6050171"}}}}}