{"entities":{"Q3629240":{"pageid":5659146,"ns":120,"title":"Item:Q3629240","lastrevid":87461969,"modified":"2026-06-04T11:44:31Z","type":"item","id":"Q3629240","labels":{"en":{"language":"en","value":"Modal formulas true at some point in every model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5558178"}},"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":"Q3629240$C4E9660E-64CC-4C5A-999E-35A52C08E7F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96691671068e43bdcf7d8d78699ef06f98601810","datavalue":{"value":"1168.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3629240$CBDBCCF2-B1B8-48BD-B87E-58D49CD4B353","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbff3d7a44383c7cae8458296cf157ea0c3e3007","datavalue":{"value":{"entity-type":"item","numeric-id":190279,"id":"Q190279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3629240$9716487E-2DBE-41C3-92AD-5B2D978CB237","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ce65d071e7340c2588abccb76c05f02030105cc","datavalue":{"value":{"time":"+2009-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3629240$AE284361-F9A6-4A2A-9E46-7AFA03F82DD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3629240$E3F3CDD9-DBC7-43B5-8D72-DFF73EAD2376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"252f76f96fecb05d36949c3f488cb44c257da805","datavalue":{"value":"01A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3629240$419FD3F6-5B58-4D5A-83A0-002C81CD92B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3629240$F599D0A9-A28B-464F-A99E-8611E6E9B680","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e3b3c4fb70cf5b156a26688ea51004dd5bfd5e8","datavalue":{"value":"5558178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3629240$6927D063-3045-4F4F-9827-2CD9708A6618","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e3409b0d22c7108d9c73140d0fba6846ee0cfac","datavalue":{"value":"Jain logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3629240$74F697DF-1587-47DE-A8D3-C0880D49C2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c67ea07d8b0208e6dbdc28dc1eb63af6e7fd381","datavalue":{"value":"consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3629240$3DB9150A-F3A7-401A-BF28-C2A4A1F86925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3629240$BA305972-8C95-4880-982B-327854C7CD40","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":"Q3629240$37364DEC-352D-4EAE-8359-12B2D9241907","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f2eaec27b155a34ed4e3ef987172b50d0dc8ff","datavalue":{"value":{"entity-type":"item","numeric-id":2735687,"id":"Q2735687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db123e5c316dd97ffd6ee14d7d5a2379d16b4594","datavalue":{"value":{"amount":"+0.6800863146781921","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":"Q3629240$0D0CCD07-15BA-427C-AA50-800AB0B0D26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7813ab4578b36c6a1f0daeccf753bf2d393bccf9","datavalue":{"value":{"entity-type":"item","numeric-id":1267083,"id":"Q1267083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a1c1983ea47a98ab35197e70663d98947cd0a24","datavalue":{"value":{"amount":"+0.6793757677078247","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":"Q3629240$874CA146-D728-4170-9A11-7F98DD3C00A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b3e02c4e788f95e18d4cf6f53743f967240970","datavalue":{"value":{"entity-type":"item","numeric-id":3145832,"id":"Q3145832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0aa720cd23a09d95ad29d214a8617de2e8a1ccf","datavalue":{"value":{"amount":"+0.6781973838806152","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":"Q3629240$419AB412-F7A6-4A1C-8396-C25C885BA5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757917858068a8704e41072dc898cd6177c33655","datavalue":{"value":{"entity-type":"item","numeric-id":4324477,"id":"Q4324477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8685fffb1e2baec0e32bb2336cd258b9a8ba1ec","datavalue":{"value":{"amount":"+0.6720284223556519","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":"Q3629240$607B32EE-1461-44C1-99A2-AB46D76CBB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e576fc72dc640062522ac9ecde31f5f64b295d76","datavalue":{"value":{"entity-type":"item","numeric-id":1332142,"id":"Q1332142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6653c7166d8d31b251d224d3bdfab8e11239669f","datavalue":{"value":{"amount":"+0.6719058752059937","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":"Q3629240$BDF847F4-EE6D-4CDF-9B97-F5A7E69815DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal formulas true at some point in every model","badges":[]}}}}}