{"entities":{"Q5937805":{"pageid":8114607,"ns":120,"title":"Item:Q5937805","lastrevid":97644896,"modified":"2026-06-05T15:09:40Z","type":"item","id":"Q5937805","labels":{"en":{"language":"en","value":"Basic predicate calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1620800"}},"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":"Q5937805$DEB30862-5454-44B8-B5AC-22978C8F0C5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"788fe1b83307b19b0e50e7ab20dccb0cadc0d57e","datavalue":{"value":{"text":"Basic predicate calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5937805$3DB4AE04-1E50-438A-A3E6-9EB3E92B2323","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2705be6325e7187a1c12effc76334aba9e191a5c","datavalue":{"value":"0967.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937805$6CA3A709-10EB-4346-8B76-18780CA2D67D","rank":"normal"}],"P16":[{"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":"Q5937805$0D0D1534-D225-40CE-9A86-039918746CB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937805$3DA6A331-9E9D-425C-9C7B-F1FE8168B953","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb916ad91e9e27f9d11a7b9fee5e1117f9d898f2","datavalue":{"value":{"time":"+2001-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5937805$DB1E5F6D-98AD-401C-B4E2-3F91C202F891","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937805$E314B6C1-AF62-41AE-99F8-D105C5F473FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937805$75BE5E43-DF53-4B35-837C-DF2E62FDB050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937805$BDA0D259-B77A-43A9-B20A-5E9C4CB7BC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937805$87B54181-F411-4A7E-B124-765015BCA3C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fad6b46187d7be5d14da3fb2b599550fc631b78e","datavalue":{"value":"1620800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937805$DB33EF5A-E995-40AB-A273-ABF710CF9B48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937805$E21F6F4D-9183-4B99-A2F9-91F4936BDC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcc6701e3836049226692ace8cab741c9598e98d","datavalue":{"value":"first-order basic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937805$3686D346-00E8-45B9-88B8-99CB25F69FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937805$C1D81E74-97A6-4B93-8C9E-CCA215792FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0318d7f9fb563a6b05e60b07d22f1bcc4b5b3291","datavalue":{"value":"functional well-formed theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937805$D648CFF7-CB16-44B3-9A65-ED45354ED732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d75b0e34f2dd548680daacda374d26187e3d3308","datavalue":{"value":"undecidability of basic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937805$E68FBEB6-4954-459D-B9BF-D7540475B4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0187098c73dd13a304f19c2e5ae093d6801afa54","datavalue":{"value":"basic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937805$7500675C-5DD6-4A96-8481-558D4B0A6FB0","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":"Q5937805$DADEF1B0-B499-4D5F-9563-D3CC4C0608F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d6e49b317580f2afa9b378cd21553d337b12bf9","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1039293019","type":"string"},"datatype":"url"},"type":"statement","id":"Q5937805$ACFCA2A6-513C-4FB0-8DF5-5A7869B6A69E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a901d41222bb3ae9fcfdc527d5c693bcf78caaa","datavalue":{"value":"W2086177561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937805$EC08FCF8-1751-4C20-85E1-37B768E55E6C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b25dbf884c32ddec6cbd0b7832b22b91b900c0","datavalue":{"value":{"entity-type":"item","numeric-id":4210835,"id":"Q4210835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937805$F603AF00-833B-4F9F-868A-F3BF1A33762A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf53c8bf03a9642eecc6643c122603b73c05e21e","datavalue":{"value":{"entity-type":"item","numeric-id":3987175,"id":"Q3987175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937805$36737F1D-169C-4441-9D36-7CA257228DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b47e427b41b4173e50108f0857c520d19a8b62","datavalue":{"value":{"entity-type":"item","numeric-id":3208629,"id":"Q3208629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937805$0746F7BF-EFBB-47A9-8452-53F5959578BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0389db7be2e276e760be3fbee1d815a588a76f42","datavalue":{"value":{"entity-type":"item","numeric-id":1156789,"id":"Q1156789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937805$F80C52AF-0F66-44D2-9D4D-337BA8A4E60B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c152056b7717bd8bced1039ccfcc0358c5be32bf","datavalue":{"value":"10.1305/NDJFL/1039293019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937805$44A39504-252E-4BF9-9375-503343A209D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c4858e101d87f8c066bdf42223f7546281bc79","datavalue":{"value":{"entity-type":"item","numeric-id":4342087,"id":"Q4342087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df454a0c17647bbc8244d82b811d7020984303fa","datavalue":{"value":{"amount":"+0.91402847","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":"Q5937805$50EAC84B-C129-4CF8-9296-D1C8C1A032C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a3e0ee569bb68950116b95d9e42786e1f7373a","datavalue":{"value":{"entity-type":"item","numeric-id":4789458,"id":"Q4789458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df454a0c17647bbc8244d82b811d7020984303fa","datavalue":{"value":{"amount":"+0.91402847","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":"Q5937805$B661D437-A665-4659-B531-8270F7AE3EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5d73326da02ec65375f0191089028570ee574ac","datavalue":{"value":{"entity-type":"item","numeric-id":700066,"id":"Q700066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"887ad93bdab9f33be44543f768c52af6227d3d36","datavalue":{"value":{"amount":"+0.90377736","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":"Q5937805$8327BDF4-047E-4B66-834A-8D21C330D4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76a3ae2f8298045cad375d963d464dc3149ddc1a","datavalue":{"value":{"entity-type":"item","numeric-id":4210835,"id":"Q4210835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7703bca3d045a047ff3deffd93f4af3415b714e4","datavalue":{"value":{"amount":"+0.89057803","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":"Q5937805$AF52FB5E-E9FA-4AAC-8602-123F97032693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03b204d900b7f3fff188015a4724cc68db5ff1bc","datavalue":{"value":{"entity-type":"item","numeric-id":5687319,"id":"Q5687319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b65e09220dab07782e32048a08e4b259c7a2be99","datavalue":{"value":{"amount":"+0.8724155","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":"Q5937805$88F62DEF-1329-45AA-806A-8AB871D88D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c493971065a36cf79b18ff79c8848e315545ea31","datavalue":{"value":{"entity-type":"item","numeric-id":1407590,"id":"Q1407590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4198397c47e4c1f227f0dc7b2741bacf5d2c5790","datavalue":{"value":{"amount":"+0.8713871","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":"Q5937805$C41C930A-7B5F-4309-983B-C491527F804B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35338d5972b7d5d03c8a6da8eab42e15b3898e20","datavalue":{"value":{"entity-type":"item","numeric-id":2000668,"id":"Q2000668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecec2cddef25694055b0dd8fec21b02503473ca3","datavalue":{"value":{"amount":"+0.87071365","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":"Q5937805$633C78E5-6F13-4F62-8771-0BFAE2811EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434d14fc26522de6f0cd00ea88302419dac9c8a9","datavalue":{"value":{"entity-type":"item","numeric-id":3367319,"id":"Q3367319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70bcc5cb96b267973d8a25d180cfb65db0c6fd01","datavalue":{"value":{"amount":"+0.8665927","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":"Q5937805$A1F0368D-4C1C-49B2-B5E2-9C8E38931F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07a88b0f27ee9be43ba0164aa75de7214897557","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdf5690c67aa2722497c7d531339e9a9315df4fc","datavalue":{"value":{"amount":"+0.8650948","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":"Q5937805$571F2A99-1EE8-4500-9E3D-1C0F2715C542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d0ce874b976a5d6ec7a7f0241138689bbcd8c7","datavalue":{"value":{"entity-type":"item","numeric-id":2702230,"id":"Q2702230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e309e29ab1389fd121c7f7846e9c9cd4b0e4aff2","datavalue":{"value":{"amount":"+0.8646852","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":"Q5937805$B8253484-46A1-486E-9B2A-032C64BA7FF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Basic predicate calculus","badges":[]}}}}}