{"entities":{"Q6131230":{"pageid":13265537,"ns":120,"title":"Item:Q6131230","lastrevid":58709910,"modified":"2026-04-06T10:23:20Z","type":"item","id":"Q6131230","labels":{"en":{"language":"en","value":"DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7827533"}},"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":"Q6131230$A9FD0CEC-8765-40C8-8629-7FFD44FD9DA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bff482c1477146ffa5b99288df3c225310deed02","datavalue":{"value":{"text":"DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6131230$B8FAD3F3-F140-4412-BB53-6CBADE8359CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"128c2b12d65261607bd53a5a5505e34270780d7e","datavalue":{"value":{"entity-type":"item","numeric-id":312495,"id":"Q312495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131230$84C0995A-590F-4706-B6C3-48AF4C52643C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5db82582077ee042010dcdb499b4965a902f7eb","datavalue":{"value":{"entity-type":"item","numeric-id":6131229,"id":"Q6131229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131230$5AB27281-83FA-440E-B34D-7A0A665E2D64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131230$860195E1-04BD-4E8B-AE59-AAA4D2D0C6D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed93f927f63c00bbaeab31931bb0c0a40b2cf90f","datavalue":{"value":{"time":"+2024-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6131230$62D17D0D-9736-4FA5-BAF4-00BD88192B8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"697ab25b4002273d1c73b2eaa7f07f946071b66b","datavalue":{"value":"https://arxiv.org/abs/2110.02576","type":"string"},"datatype":"url"},"type":"statement","id":"Q6131230$5D875368-B979-4525-8B2B-02EE48B61D21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6131230$42EB97EE-F847-412E-A8ED-F2427A9898F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6131230$0676D82F-845F-491B-B04D-3839F5AC55C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6131230$A257240C-E28C-489C-AACD-4047F06BF8C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0e67b665c53bde9fb396fcc48e0e827ec4d35dc","datavalue":{"value":"7827533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6131230$8621C072-AF9C-47A7-9B20-65C6543DD87F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13086e87d736201ee1db00b5ab3620f20bff2fce","datavalue":{"value":"modal arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6131230$83FF2967-0C04-426C-8AA7-0DEA25BAD55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6131230$C77DE011-FDE1-4F52-8A7B-5C39A49F7653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e827a2f1d9e2ec3bdc3a7ec6d04e64033483bb","datavalue":{"value":"existence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6131230$D666548A-CC1D-4FCA-A3C3-920B83AE4C24","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":"Q6131230$9ECC5F28-4F7D-4853-989B-686CB13A33AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6542a3e3ef74b6601f94483f652e1f9581defc0d","datavalue":{"value":"W4312156479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6131230$90B23013-2268-4C8B-9A40-68F05BFFF1AB","rank":"normal"}],"P223":[{"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":"Q6131230$666ABAB1-411E-4B36-814A-15FD2DE98EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4afdd5678fb4ee52d1d980095ee8506587fe02a","datavalue":{"value":{"entity-type":"item","numeric-id":5202987,"id":"Q5202987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131230$343467EA-8258-4F72-AD8F-704749F5F897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9fa29d85b0fa6bb92ccad434bdf75276ac6ee7","datavalue":{"value":{"entity-type":"item","numeric-id":580343,"id":"Q580343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131230$674030A0-5F4D-42AB-B7DA-37B7BAC26929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7ea38f610625bcd545c72bc177a298f6e2eb43","datavalue":{"value":{"entity-type":"item","numeric-id":4109645,"id":"Q4109645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131230$44E36F39-CDD1-4994-89D1-495DB79EF705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf6d466157a49dfa12e908720e3ba455da62b63","datavalue":{"value":{"entity-type":"item","numeric-id":3486545,"id":"Q3486545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131230$1A0AC4E9-58B6-4DF1-8E5B-A541E8612EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f408f85e60a2998438dee117b91ae8d167e7e986","datavalue":{"value":{"entity-type":"item","numeric-id":3728881,"id":"Q3728881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131230$60266083-D3B1-4610-862D-39B5F62CE870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e15b409b75899274128eb741092df9c3a83f6b66","datavalue":{"value":{"entity-type":"item","numeric-id":3206949,"id":"Q3206949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131230$86AA81D3-08C9-4DDB-93C5-55714B25A793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092fc3b386c2bd039a2f2691a34ba950758d2802","datavalue":{"value":{"entity-type":"item","numeric-id":4521121,"id":"Q4521121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131230$7AC773C3-903F-44C9-811B-92256A06F649","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":"Q6131230$EEC7781E-CE08-4DF1-892D-4957E0F20576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe96ad167de767ed78bb84038dc899b455e4e39c","datavalue":{"value":{"entity-type":"item","numeric-id":4135504,"id":"Q4135504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131230$4652FCE2-C14E-4323-AD5D-2E3DB5639613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131230$5C8D6663-F7B6-4497-86B8-7EE087586DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1ae19886fb2f09607612b3406b3b39a0fd0600","datavalue":{"value":{"entity-type":"item","numeric-id":1756504,"id":"Q1756504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131230$A52A8B18-272A-46B3-A698-50ECEFF7B3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e56050a36f966b9bacc1a86cb4c5605e0a97b28d","datavalue":{"value":{"entity-type":"item","numeric-id":5855755,"id":"Q5855755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131230$796F1B76-6C15-47BB-BAD7-B8410729D16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2175710971e93f48aced0d36264d93f4d020cee","datavalue":{"value":{"entity-type":"item","numeric-id":2538520,"id":"Q2538520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131230$A099B1A0-B356-417D-AC8D-CDD5CB95EDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e2c891a261f942495047beb365a06a874147652","datavalue":{"value":{"entity-type":"item","numeric-id":5902234,"id":"Q5902234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131230$20DA191C-6CCF-4219-9280-E9DB7247D568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c338d1e5ca3b5e43f79b86f7417774ec97e6ffdc","datavalue":{"value":{"entity-type":"item","numeric-id":5275663,"id":"Q5275663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131230$C8093394-BD12-40A3-8B42-B1CFD5FA2C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a7a6f8cd1040cba3aa4e1f28c926c68b639ebe","datavalue":{"value":{"entity-type":"item","numeric-id":1094407,"id":"Q1094407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131230$A619E146-1A4F-4FD8-8F1C-72182EDFD1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fd46ab013fa0df7a03d2db93b148b9403f6040","datavalue":{"value":{"entity-type":"item","numeric-id":3347874,"id":"Q3347874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131230$E3682936-D2F5-4990-BD4B-81AFC35E5479","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":"Q6131230$5AF19A2E-4460-43E4-9084-8A830088F9AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6486e35978786a1977bd46c8b9d4853ca4c0e47","datavalue":{"value":"10.1017/S1755020322000363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6131230$2A2F8A0E-B25B-4A22-BAB8-DB332EBFA57B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6131230","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6131230"}}}}}