{"entities":{"Q3781076":{"pageid":5810982,"ns":120,"title":"Item:Q3781076","lastrevid":52523888,"modified":"2026-01-22T21:10:44Z","type":"item","id":"Q3781076","labels":{"en":{"language":"en","value":"Semicomplemented Lattices and the Finite Model Property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4041879"}},"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":"Q3781076$ED2A73EB-E759-4230-AFCB-77DB873BCFBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d314139a87a73546a1492d25fc5306c9c0e76e98","datavalue":{"value":{"text":"Semicomplemented Lattices and the Finite Model Property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3781076$ADA52738-5F18-4C47-97A3-FCFF67F191F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ece9aab305fffe5ac4ea114154d6acb3d52942b8","datavalue":{"value":"0639.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781076$B115AEB7-6F44-4C73-B25D-3EA3B7B5E40D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc259a89ecb75465fbb96327997d8a01dc78b6ca","datavalue":{"value":{"entity-type":"item","numeric-id":1097871,"id":"Q1097871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3781076$7E891935-81D8-415E-A187-4F8BE5EBD83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f9123219acab451b05ae5b1f50ea3c0b88b5435","datavalue":{"value":{"entity-type":"item","numeric-id":3781075,"id":"Q3781075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3781076$E8A09F34-04B4-490D-B9C8-90E4D3B21679","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3781076$790EEAE9-2BFB-4EB6-99CB-CC7DA3F1F6AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3781076$92FD54CA-04EC-4D84-8FDA-423B07FDD43C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781076$EBBF3DA2-B2E3-46C7-BE80-6C332DFCDDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781076$B54D7EC2-A5BB-441C-BF83-93F3B591A5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781076$C7D23D0B-48CD-468B-A411-357FE8104A81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d8848ae3f28769f564728b7186157eaeed28689","datavalue":{"value":"4041879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781076$02AE412E-7163-43E9-85E6-37222A695910","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a01246093bc2a721ad5e6fd0cbd8b2ab855c301","datavalue":{"value":"logic of negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781076$E9F10EDF-423E-4539-8FC6-8A97FB83FDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6a08f0c8091662f6e22177d7f6d7723da40f4c9","datavalue":{"value":"sentential logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781076$769924D2-71BA-46A7-9C18-9A5F62A00281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c030b315f59881aabfc3ec2aef0d1200414141f","datavalue":{"value":"non-contradiction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781076$1DF8B6F0-43A7-4383-9E79-42B2D134B24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"415c9e6603aa414c9b61ba2ae30ecbfc0f4a93d3","datavalue":{"value":"double negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781076$BC4E1E98-06BF-47E6-89F7-FCAE417E79E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc6b3d2b6b47dae6657c46e82106c011e81b18bb","datavalue":{"value":"excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781076$F6D9AF72-989C-4B38-99E6-7446BEC357D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781076$6AC86128-C5AD-4279-933D-C059C4A88921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c73555bd71e525f7229801a118a4f7a99162102","datavalue":{"value":"involution-semicomplemented lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3781076$1454DA7A-0CE9-473D-9164-97AF20198123","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":"Q3781076$1FF4F0CD-C9A5-4588-9B8A-4EA9EB408AEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae12a4e315e80f438258f4f806fb8a063724ddc9","datavalue":{"value":"https://doi.org/10.1002/malq.19860322508","type":"string"},"datatype":"url"},"type":"statement","id":"Q3781076$E443C3BE-B4D4-47A5-9B5E-5BF9EE375229","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4a99aed68a4543a6a36f0d75c3a0849a0e0a95a","datavalue":{"value":"W2164404149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781076$8ADB900A-CAE9-49CE-8E5B-4096E7175748","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d43a1fc5e7dbf3b80a45d0004f75dffdfbc35a0","datavalue":{"value":"10.1002/MALQ.19860322508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3781076$4CD941FE-C1AB-4D2C-A761-6DDA283B52A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c519382933879989610d47983518bc1d58c7d65","datavalue":{"value":{"entity-type":"item","numeric-id":3358704,"id":"Q3358704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3073731ad3a002559b6e496b1a87302c481d965b","datavalue":{"value":{"amount":"+0.7612224221229553","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":"Q3781076$652C9AC3-6370-4A72-ABAE-A052D8238D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ebed4de6a9dd7a2daafdaa76db23082ec26c359","datavalue":{"value":{"entity-type":"item","numeric-id":4724626,"id":"Q4724626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19459e9582f04bedcfc1e208ad10788d3ae6f70","datavalue":{"value":{"amount":"+0.7545665502548218","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":"Q3781076$3508B989-2333-4D94-B805-4256A4D431AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607694c2c7ba9e6b6a10d7f07e298a96a7397718","datavalue":{"value":{"entity-type":"item","numeric-id":2856632,"id":"Q2856632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa2a82f5c528fa80cf12ef214eac2a9cd750f1d3","datavalue":{"value":{"amount":"+0.7503802180290222","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":"Q3781076$298EE43D-9EEB-4BF5-9059-CC7455C9EB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585e59566078a17e032a5b3a8f6f5b0d3cd7dcc4","datavalue":{"value":{"entity-type":"item","numeric-id":1061118,"id":"Q1061118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c662589ad462ccb31af080edc657ec541da2c2","datavalue":{"value":{"amount":"+0.7466158866882324","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":"Q3781076$C68ACE0B-F1E6-441C-9F85-80FBB92695FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234eb880b6b7502f6328cc2b182a3952bd26b085","datavalue":{"value":{"entity-type":"item","numeric-id":4889422,"id":"Q4889422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e905ea689077862f793b66cba13b2142b5a83a9","datavalue":{"value":{"amount":"+0.7364542484283447","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":"Q3781076$460208F3-CB2B-4BB9-9B45-E4B35CAE4060","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3781076","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3781076"}}}}}