{"entities":{"Q4210835":{"pageid":6240436,"ns":120,"title":"Item:Q4210835","lastrevid":39846370,"modified":"2025-01-27T18:52:00Z","type":"item","id":"Q4210835","labels":{"en":{"language":"en","value":"Basic Propositional Calculus I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1202720"}},"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":"Q4210835$737F939C-BAD1-41E7-AB34-D16BCC42424D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3065f236ac9d4b67fc7e9bd6de7ffd89b8f74b40","datavalue":{"value":{"text":"Basic Propositional Calculus I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4210835$54F29E1B-32EF-49F0-8319-8DA63A41390E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b000c5bb8bb3f33ad98fbcc6f37065ebc898080a","datavalue":{"value":"0912.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4210835$9A32F4F4-288B-4CC5-88EE-BDF9A4E8111F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e63f0f7326486d44dfb43d06e0b528a89a70ef2c","datavalue":{"value":{"entity-type":"item","numeric-id":190271,"id":"Q190271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4210835$19821CDA-CE5A-40D0-B785-8E3731C9BD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02d955a17ce895bcc975b0ea6d4eead2e64dcf81","datavalue":{"value":{"entity-type":"item","numeric-id":190250,"id":"Q190250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4210835$A8232BDC-0423-46FF-BE49-AEBEA7317AC1","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":"Q4210835$C7032054-309E-42C9-AEBD-19761A01B3F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a3c575e36516431240b6ca5a34b66619e132b26","datavalue":{"value":{"time":"+1999-05-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":"Q4210835$C0617F7A-E95C-4BA8-9514-4AF2A7CD0D5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4210835$58E7E7DF-3911-4ACC-A3B3-9353A9C09C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4210835$F7430F4F-25F9-4377-9F0C-401605049506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4210835$3900205D-3559-496F-A000-FABFF8774B18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"144d83c16fb74b93069d237532e86eca25946c30","datavalue":{"value":"1202720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4210835$560A77C3-33D5-482C-ACA7-E89902FC2727","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf85a0183534dca01d122a71adee24c5b13b9223","datavalue":{"value":"constructive propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210835$4213C31A-02F3-40F2-96A8-3B6683ACBB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210835$46052113-A88F-44E5-B5CC-2032B8631003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9be2703f87d18a59c517c185bc3786fb847dbab2","datavalue":{"value":"Basic Propositional Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210835$52A8DAB6-82F9-446B-BE6C-020D848281C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c180e5c82af18567b856b076b0e56fd1e0dd1a5","datavalue":{"value":"\\({\\mathbf B}{\\mathbf P}{\\mathbf C}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210835$7CAD2C54-DDBE-41A7-8D2F-26F20E3446ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80586be223f2a47737ac5e47e42ca601c3b11ca5","datavalue":{"value":"Kripke-type semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210835$8A32030D-FE63-4234-89B1-2621AC3A1849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210835$62EE7527-70F8-4B1B-9DCD-35716783CD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f011fe368353dcdbaaecc6130e86d40b86426aee","datavalue":{"value":"transitive Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210835$1E1D5FAA-3015-4FE9-A49A-08814524D78D","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":"Q4210835$B27D9A4A-969F-458A-A279-44915642E913","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e091aa1f3b48c5c7776fcec8f44cda2915bfc6ee","datavalue":{"value":"https://doi.org/10.1002/malq.19980440304","type":"string"},"datatype":"url"},"type":"statement","id":"Q4210835$3145B46C-3EE1-4E95-8748-BDC06380141B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7aaa8c1d43951d629b226436abdeb2bcdc92326","datavalue":{"value":"W2067332512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4210835$861BD5C0-2BDC-4A89-8D52-A4C57D071ECE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4210835$3947983E-2630-4F57-B221-2CB248E0A13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4210835$6A810322-9A5D-461F-BF1D-121DE388A993","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edb0c27da2b443f780a6ff5dec92e3aaf180d09d","datavalue":{"value":"10.1002/MALQ.19980440304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4210835$B2BB9503-8D8B-464C-B871-C44921699C1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cb715c729e8655e70cf5553a833fa9957798e06","datavalue":{"value":{"entity-type":"item","numeric-id":1868483,"id":"Q1868483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68efb8cfc9d663c88489718d53d09a2463b0a9f5","datavalue":{"value":{"amount":"+0.75685674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4210835$F58EC539-D2E3-4168-AD62-F0B5BD7C5D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5152f8db16e7d42d80a334d669ce21b559f34028","datavalue":{"value":{"entity-type":"item","numeric-id":1203789,"id":"Q1203789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"844182a983db3215f26902fa50069d235c8bc1cf","datavalue":{"value":{"amount":"+0.7478384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4210835$08B0BB36-6F06-44FD-81BE-F1BE79C7158A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d822e2522175f89942031286da5caabed2175436","datavalue":{"value":{"entity-type":"item","numeric-id":2027110,"id":"Q2027110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224d87682c716008fefc10d75fb6b9d5f76b71f6","datavalue":{"value":{"amount":"+0.74692166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4210835$C5B26AC2-79F8-4618-A6FB-4E532E55B1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c359f5f21afd848cf5e35d9cb30b54b9a1cee59","datavalue":{"value":{"entity-type":"item","numeric-id":3647244,"id":"Q3647244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6a76311b5939e83ddac6fc8d1868477c9b0f547","datavalue":{"value":{"amount":"+0.7364949","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4210835$6D005499-7B46-420E-B928-68B8EE6311BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea17d8319106036189dd20e04075299f94c7a36e","datavalue":{"value":{"entity-type":"item","numeric-id":4694248,"id":"Q4694248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"173cc2ecb98cd13c308c2037f27f1c3a148abc1e","datavalue":{"value":{"amount":"+0.73141444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4210835$1F2C11B9-0E43-4349-934E-85A4361B157E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf00fea0f410dc8ff9e83297444bd639d5a3bc6","datavalue":{"value":{"entity-type":"item","numeric-id":4544189,"id":"Q4544189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e6e13c5f8664142b60894e2ed703772bf5e02e","datavalue":{"value":{"amount":"+0.7271457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4210835$BB9D43FD-9F22-4BC7-B8DA-AE343685D2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a984db9edaa06beae24e56fbce6f8124a0b5be","datavalue":{"value":{"entity-type":"item","numeric-id":1128179,"id":"Q1128179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eee444daca7223096aefc5ff1090b6f25393c9c","datavalue":{"value":{"amount":"+0.7248069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4210835$7E21CB6D-7B96-4A4F-923A-E5DD30D87ED7","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":"b6c632882f62916c65d70ed62ade3eaa6d5a24a3","datavalue":{"value":{"amount":"+0.72060466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4210835$BA1D30A2-6C27-4B8B-8CDF-142DFC21021A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b2fba66e53ff81ddddc511719b39d326113c99","datavalue":{"value":{"entity-type":"item","numeric-id":3803087,"id":"Q3803087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84bd9affad1be84e1a80bda5b2e1bd033f2b5733","datavalue":{"value":{"amount":"+0.7190693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4210835$D9230A2E-7E40-435E-ABF7-5B887D946C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c90e25d4a412fcf36216898b01cdf92d7e2dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4020434,"id":"Q4020434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b7c60aa18410b57c50ce1d4e211eeeba70daaea","datavalue":{"value":{"amount":"+0.7150945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4210835$E5A04CF8-A419-4FD7-B65C-CCFF936B9C34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4210835","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4210835"}}}}}