{"entities":{"Q890969":{"pageid":892817,"ns":120,"title":"Item:Q890969","lastrevid":65158041,"modified":"2026-04-12T00:42:50Z","type":"item","id":"Q890969","labels":{"en":{"language":"en","value":"Finite model property for negative modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6509052"}},"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":"Q890969$77B8BD69-82FD-42B0-AA7E-0F4977A04EC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0128dee85b9fcc5277bfe1dfa66bec6f5176686","datavalue":{"value":{"text":"Finite model property for negative modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q890969$1723AEBC-00B8-4FE3-AA6F-EBBC46503B6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eaaeee47f4a1cb788a26277d732c9d6558612083","datavalue":{"value":"1330.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890969$61EC1B35-BCBC-4AA9-833F-AF45A40BE13C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0130d7dfa48465b27c7417ad8f576e2f9bdfc77","datavalue":{"value":{"entity-type":"item","numeric-id":454379,"id":"Q454379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890969$FC7CBE2B-DDE0-4FFE-A93A-C103C32C7326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42725b6caae2a3feb9ea758e05be801e94cac95a","datavalue":{"value":{"entity-type":"item","numeric-id":2027213,"id":"Q2027213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890969$7AA14F17-ABEA-41EB-9437-89956E6C8BC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"297f0407fe0411bc487575336ea9699ef4593706","datavalue":{"value":{"time":"+2015-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q890969$185529E8-2538-4B0D-9BAB-744C5F0E31A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890969$048EDED1-7C72-480F-A55F-D164F7CA04C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"175a5d1bdd11f817557a5e680da470d762d1ec73","datavalue":{"value":"6509052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890969$E0CD4E08-83AE-4D26-974E-2E48DD6072A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3af2f21df0ff7c7c34fef098d2ee0454b128e67a","datavalue":{"value":"Routley semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q890969$7A3CE7E7-BAEE-4639-A5AC-44655F6BB16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"064a26b8b5b3e63f23cf811fe73a4abbb8c04558","datavalue":{"value":"negation as modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q890969$80D44ACE-4B57-4139-8D89-96BB6AC24BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q890969$5D60834A-7915-4F9F-978D-5592C7B8B967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b21a9c6db3fbd4107f6025771f376129977a6538","datavalue":{"value":"Heyting-Ockham logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q890969$6AE47501-1027-4991-A4C5-D4FCA7219CA6","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":"Q890969$BC014CAC-7222-47CD-A5FC-D0FCE26DB4C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d62485cc2de7313788cde27e3e9f2c3537ddd0f7","datavalue":{"value":"10.17377/SEMI.2013.10.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890969$480FE0A3-56DB-44D7-B59C-4D7EE89A6ACB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890969$310F3F5E-3240-4B34-950F-7ADF18E3260F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e2540c8959fbcc144ae741183ab03e6d66208a","datavalue":{"value":{"entity-type":"item","numeric-id":1428978,"id":"Q1428978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed68093f771bc1910b69200c3e439f634fe6b886","datavalue":{"value":{"amount":"+0.9143312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q890969$B2CCA810-6405-4B76-83DF-ABBE1334BE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d03061b874bb76e89a1179183de5290dff9153ff","datavalue":{"value":{"entity-type":"item","numeric-id":4443185,"id":"Q4443185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40ce6fe53f5ca195d83ba365b32a7b2a3ed4c67c","datavalue":{"value":{"amount":"+0.9108069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q890969$86D7EE84-40B8-44CC-A23E-AF33BF06366B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f9754cad496cbae51ddab8ae25d21e239824378","datavalue":{"value":{"entity-type":"item","numeric-id":2815679,"id":"Q2815679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec01f3cd9358a6a1f159deb74b32605d47bb304","datavalue":{"value":{"amount":"+0.9033212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q890969$E814087E-4035-45F0-A8FC-EBA88DE8B1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e803281346a7822a0a010212e8b313835ab757","datavalue":{"value":{"entity-type":"item","numeric-id":2849434,"id":"Q2849434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34597de0a3df75edc7fbddc5d484e1e80a05f5c2","datavalue":{"value":{"amount":"+0.89131093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q890969$13C1437B-15E1-47C3-A1DA-58AE87C94111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ed8abea7402d212862d96f813797253ded749c","datavalue":{"value":{"entity-type":"item","numeric-id":1577354,"id":"Q1577354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"264b3e176eb1757ff3382b535a157e69ab0fd9ac","datavalue":{"value":{"amount":"+0.8804389","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q890969$77A16FBE-5690-4F47-B0F9-C5D105523D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3874009dfb7ce6a389bb002c2c0e9705c971a19e","datavalue":{"value":{"entity-type":"item","numeric-id":1708103,"id":"Q1708103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ec4618e46e01f71752a64afc08d9fa8cb999215","datavalue":{"value":{"amount":"+0.871259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q890969$5765F4BD-A2A2-4E5E-9BCE-B7E5E59B14EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a9842608722b8451723c149bbf7224fd908eeb","datavalue":{"value":{"entity-type":"item","numeric-id":3218105,"id":"Q3218105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dda1ccc5b8537b832a9685186a211aac5e971f5","datavalue":{"value":{"amount":"+0.86750245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q890969$424FE19D-B06E-44C7-8211-B802A0BAA451","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":"1bdab6c8b06e65625f5b5dc052f59b94e7768b58","datavalue":{"value":{"amount":"+0.8651593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q890969$7D6C671E-46EC-4985-94F4-A58A6D7ACFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f597987a611816d94a069891ccb8ed9d6dd4eac7","datavalue":{"value":{"entity-type":"item","numeric-id":2804039,"id":"Q2804039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b9458208fd9a9639ad7f756ccde4b3d97b14d1","datavalue":{"value":{"amount":"+0.86485064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q890969$1B1AB8B7-5460-4643-BC86-CEC6A5DFB930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19beb98f5bb43584f7c6fa61475da778eff2cb84","datavalue":{"value":{"entity-type":"item","numeric-id":5377337,"id":"Q5377337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b76a56fe0899dafa2a09b6bec3a985e6cdf2f1b","datavalue":{"value":{"amount":"+0.86184824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q890969$6263FF81-D269-4686-9386-1AD8F80B8E9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite model property for negative modalities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_model_property_for_negative_modalities"}}}}}