{"entities":{"Q1310399":{"pageid":1321149,"ns":120,"title":"Item:Q1310399","lastrevid":67374900,"modified":"2026-04-12T17:12:10Z","type":"item","id":"Q1310399","labels":{"en":{"language":"en","value":"Proof methods for reasoning about possibility and necessity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 480469"}},"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":"Q1310399$9CF22D50-C6BC-4C3A-967E-9D3A46E05081","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a4d96b702f37dd80d6ce9c8b8ca12946ac0a963","datavalue":{"value":{"text":"Proof methods for reasoning about possibility and necessity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1310399$BA2DA2A7-2368-48D7-B170-C304D590484A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d00642f3283b1e0d3f583e3ac1b78c06bf3e430b","datavalue":{"value":"0786.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1310399$293AC68F-4FE7-41C2-99A7-A0F6018A2130","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e847e328c327ad81944f061bcd28f98e6f76528","datavalue":{"value":"10.1016/0888-613X(93)90019-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1310399$14DF793E-A7F0-4455-8EFB-6900F736F439","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1310399$E3E0FCEE-B8E6-467E-AD50-4E2FE6FA1CC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d9914bc6feb5fa01fb9ecfc8e4444ea1144570c","datavalue":{"value":{"time":"+1994-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1310399$282A84A8-5E5B-4461-989E-833447001290","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1310399$F85A0722-9961-464C-B393-D38C0D8D7ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1310399$BE59DAC9-4EAF-4D28-927C-5F94AB048926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1310399$ADD34299-FBDA-464F-AD63-AD222920966A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eceec76f4f0f20ff13214ba154dc1b9660a58dff","datavalue":{"value":"480469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1310399$3C7CFAB7-0734-4D91-9568-83B3494D16E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b52819299921571f29fc3f19420d17207f42f3","datavalue":{"value":"possibilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1310399$34FDAFCC-4DC8-41CE-8014-EC326E4BD8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1310399$37CAA460-FC46-4B45-9024-90E86D1931CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1310399$A9ADBA50-F386-46DF-91AD-3C3F5F03DB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87dd2e64b92b9bce51a6d9a8e24dbaa28d19658b","datavalue":{"value":"uncertainty reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1310399$A44B0D2A-71FB-457A-B0B1-8996490D723F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c5f585079e3d7c3ae2f79c8e89a52b221b8118","datavalue":{"value":"fuzzy set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1310399$ACFE17F6-1BA3-42CD-BA97-8CE281C228AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4421b72da5e69352497a79d6545f19cec17c3a4a","datavalue":{"value":"tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1310399$A1C83DE9-0B9C-4261-AC68-43628C3AF95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1310399$FB3B6CEF-6D3A-482A-A648-8EA1804E5EE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34ead0ff30f6086ab424c56d99333d91725b5596","datavalue":{"value":{"entity-type":"item","numeric-id":209454,"id":"Q209454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1310399$207F30CC-FDCF-4C6C-8847-63B4E9194BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc81db40a8aaaff266fad942b7e85bf66c569271","datavalue":{"value":{"entity-type":"item","numeric-id":1182010,"id":"Q1182010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1310399$9AE21475-858A-4DC3-8555-AA9D8E0AA5B5","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":"Q1310399$61B45D03-EAD8-4372-AFC1-1AB259FA60DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d84d75d9a6f0e4fa4f405d195e107027dfd06c","datavalue":{"value":{"entity-type":"item","numeric-id":3994497,"id":"Q3994497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1310399$65DD6ECC-071F-4A7D-BD3C-934A7346736D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1310399$EC0877A3-82D4-40A8-AC26-D9CD7506FD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431e06942f4c8c9528da03dd12e2c03c5bf98e7c","datavalue":{"value":{"entity-type":"item","numeric-id":2641292,"id":"Q2641292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1310399$A9E57C72-D6D7-40CA-8717-E19BEB344BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1310399$F7223CFB-948A-433C-96D0-3E6481FDFC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a6c912757b34b0373fc49356692f042544a881a","datavalue":{"value":{"entity-type":"item","numeric-id":4279076,"id":"Q4279076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1310399$840F15D0-DFC9-4788-8F6C-14ABBFAB0E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1310399$4AC5914A-EF3B-4D3A-ABFB-CFC7BA335C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1310399$229522A9-68BE-4393-8115-389152700589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1310399$C6B2E09D-60F1-476D-8351-4DB3D9E6791E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2268470d2fc7868bb77792012caf2f6a4588d601","datavalue":{"value":{"entity-type":"item","numeric-id":3476790,"id":"Q3476790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1310399$A810DAE7-3D48-4B41-A70F-64D368F9A5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d4bd75352dca632f26b876b87c98f2ab5b926a7","datavalue":{"value":{"entity-type":"item","numeric-id":920970,"id":"Q920970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1310399$E770C924-6D9F-43CB-B515-311C7EAF2D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c087c749fac9e62b1f0f29ee6e8e1b8e2ba181","datavalue":{"value":{"entity-type":"item","numeric-id":1062045,"id":"Q1062045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1310399$DA7AE8CC-6CAD-43D6-87A4-7E57A6621116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409217ce1647c2ba67189b9324c5e54d65cf0dda","datavalue":{"value":{"entity-type":"item","numeric-id":4342094,"id":"Q4342094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1310399$1E64F341-7A89-4C35-868B-B40ED2FD8EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b38e00f9ec1f1ad95bd5a593d1dbecc11889a11","datavalue":{"value":{"entity-type":"item","numeric-id":1079962,"id":"Q1079962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1310399$4436780C-457F-495F-AE88-DD5E259DD7A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e2215e23d5af41d17356d12e7854e82ca460bcc","datavalue":{"value":{"entity-type":"item","numeric-id":1318249,"id":"Q1318249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38de24e4c9ba11fb4e5df59a11395a78d2bfbb6c","datavalue":{"value":{"amount":"+0.818317174911499","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":"Q1310399$365C5CF6-272F-4C5F-9DB8-ABD3776315AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d495a9827db5cd74322cb06b572edc553fcdb6d8","datavalue":{"value":{"entity-type":"item","numeric-id":5686988,"id":"Q5686988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38de24e4c9ba11fb4e5df59a11395a78d2bfbb6c","datavalue":{"value":{"amount":"+0.818317174911499","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":"Q1310399$88ED9ED6-216E-45D4-885C-30F587F3C3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eda7eca66223292faddaa27e868f4030eb80020","datavalue":{"value":{"entity-type":"item","numeric-id":6109607,"id":"Q6109607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"764c35e06a5c2e2ac5e31877698d92ae6061cf12","datavalue":{"value":{"amount":"+0.8151014447212219","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":"Q1310399$0ED5FBD4-08A1-411E-B4EF-0946C45FC4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"842dc9c7ce85c95ea4ac0f1c11e62f8f82654b56","datavalue":{"value":{"entity-type":"item","numeric-id":1346240,"id":"Q1346240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b3c8992e716ee78e780d97b00f3d36282ab07d","datavalue":{"value":{"amount":"+0.8037537932395935","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":"Q1310399$544B3677-22D5-4E8F-B78C-0DF2E106D28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"441030aae28aafd62b5b225fc79d44c494bd7237","datavalue":{"value":{"entity-type":"item","numeric-id":1391902,"id":"Q1391902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca5be8e06932c839c75e83fe2438673943d5a6c","datavalue":{"value":{"amount":"+0.8026028871536255","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":"Q1310399$AA3312D5-3A80-4BFB-9CFE-2A292856A51A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof methods for reasoning about possibility and necessity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_methods_for_reasoning_about_possibility_and_necessity"}}}}}