{"entities":{"Q5935996":{"pageid":8112798,"ns":120,"title":"Item:Q5935996","lastrevid":93410018,"modified":"2026-06-05T04:21:12Z","type":"item","id":"Q5935996","labels":{"en":{"language":"en","value":"Decidable and undecidable prime theories in infinite-valued logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1612856"}},"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":"Q5935996$35BDDA5E-CEAF-49CB-AF90-876664FD5A26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e74313d5a735c0a2235e268e30df4a246ccd7f8d","datavalue":{"value":{"text":"Decidable and undecidable prime theories in infinite-valued logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5935996$3477DA55-F52A-4666-A0F5-B32EF526DC60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2442ffa11e67278396d4e308f8e2e3c0de18dd11","datavalue":{"value":"1130.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935996$DF5787C4-807F-4A59-AA8B-E9244534181A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ef4bfa68e8d19b06787db57a6a0542ddcf35248","datavalue":{"value":"10.1016/S0168-0072(00)00051-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935996$CCF1F1EB-F388-49A4-AAAA-D03202F70156","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8059b8b5e7d67e2c7a1c512c2a2acd219f0f77d3","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935996$A7CFD1AE-7CB4-4B69-B37F-AEAF8340CBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cae6a87c9ce7f2efb12a4f152ec1b65d177ec61","datavalue":{"value":{"entity-type":"item","numeric-id":186052,"id":"Q186052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935996$205BE98F-560E-415C-83CE-AFCB60C05B2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935996$D913DDB7-2CA3-40B8-9B71-F738FA64F62D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66810b26c53348422cf67dd032df27ab202f42ea","datavalue":{"value":{"time":"+2001-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5935996$2FF6211B-A095-4709-8240-5CFD7B4975EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935996$C39732F5-E260-45F4-9205-469E26B8214C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935996$E597A65C-D45D-49C0-9EA4-822D51F1EEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935996$C097B7B4-942E-44BD-8661-09955AF88CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935996$4F062DDF-A85D-4627-A90F-77047AC7B524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935996$B1156387-4D5D-4AC4-B1E6-42569F24737F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f2d8ab3b39609aef534e79777c76fdc6c231d8b","datavalue":{"value":"1612856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935996$BE6DA161-EA43-444B-B42F-A7FBD5A9840B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb85f7f207c9b36477e23959dad453278f1c7de8","datavalue":{"value":"lattice-ordered abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935996$62981C8A-654B-42D5-B177-CE61DA25746E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5318ebc4f91a4813d56b5b91daf482e5f04609a2","datavalue":{"value":"piecewise-linear functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935996$AC5F8489-318E-4AFB-A94F-20D6D5A71416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e22550cc18e7160ad098e549c7dc18559bb98a","datavalue":{"value":"MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935996$B45169C5-3083-4A3B-9D73-4C54D9903456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bea6d4ad9cbf74cf336284031e48d401e2ad6803","datavalue":{"value":"fan","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935996$621D8F1F-78E3-4611-96DD-C99B9F231E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2e761bfd32750b452f506422f369155054c17f6","datavalue":{"value":"desingularization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935996$0B8B55BF-4ABB-4AD0-AE61-B21A92627579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c8cdbff0edb918eb0c0aaf884494a1a0096db5","datavalue":{"value":"decidable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935996$6F5DE414-9A08-4724-B4FF-CE1BDB664AF2","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":"Q5935996$87FBA9B3-9CB4-4513-AAD0-894AA2B0325E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc12852c03e47e8962f7c13c13ab61a3d46c956","datavalue":{"value":{"entity-type":"item","numeric-id":4039742,"id":"Q4039742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935996$6026876B-8C44-4904-9269-E57E50EF67ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"245726923652ec612c8a46560806320a9f67ffce","datavalue":{"value":{"entity-type":"item","numeric-id":1248535,"id":"Q1248535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935996$11E105E2-8418-4A28-810C-12183456F28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935996$4DE61F1B-7DB0-411A-BC5B-6EB71129CF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef88c4a1ef40e208862c168eb829caaba70b0325","datavalue":{"value":{"entity-type":"item","numeric-id":3269132,"id":"Q3269132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935996$E8C932C1-129E-41D8-BF34-96E7FD683201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a980784bc9886c846c3ff836902108aa11b9aab0","datavalue":{"value":{"entity-type":"item","numeric-id":5687941,"id":"Q5687941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935996$F6E80B3E-E4E6-4B4B-8B88-C3C950222F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0ac1c52306853891fce6ccf2e5fd4faebcc828","datavalue":{"value":{"entity-type":"item","numeric-id":3142877,"id":"Q3142877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935996$A8FB1ECE-CBD7-4E5C-A892-129E6D5C8A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc2025b602686e076b8d299467a3b8bc75c947d","datavalue":{"value":{"entity-type":"item","numeric-id":3939781,"id":"Q3939781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935996$28F5A0D5-C410-4923-9DA8-90971AE7251B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4aae5b35a986d6160145a12879818eed4ac98e3","datavalue":{"value":{"entity-type":"item","numeric-id":1079157,"id":"Q1079157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935996$007D869D-25B0-4823-B797-EB3261DF78A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69cf6e350090a83589b32b35f7400ebfe8dfd8f","datavalue":{"value":{"entity-type":"item","numeric-id":4302355,"id":"Q4302355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935996$75391A4A-1D72-49C2-903E-54ACEB6F6416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d97de68252d6a13075fd5e910e36b0c5ffa5236","datavalue":{"value":{"entity-type":"item","numeric-id":4039830,"id":"Q4039830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935996$5A8E5FA9-DC62-4BC3-BF85-2592AE4235CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c82701bf2a0dc501208776d94b3e9196794262f","datavalue":{"value":{"entity-type":"item","numeric-id":4842633,"id":"Q4842633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935996$F5A9A2CF-D5C8-4D2C-9BCA-13443D820247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54940bd50ef593020fe2835b30f7cd4cac617ee7","datavalue":{"value":{"entity-type":"item","numeric-id":1306832,"id":"Q1306832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935996$B576BFFF-19A7-4C49-806D-B8CB142D6500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00b35a59f65d31283c4fb32b760ff1da661b24e1","datavalue":{"value":{"entity-type":"item","numeric-id":4443424,"id":"Q4443424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935996$C3809DC0-710F-4D97-AD2E-19E435EAE96C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ea36a8ccff7b3fff03008c615247a496520a87","datavalue":{"value":{"entity-type":"item","numeric-id":3338220,"id":"Q3338220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a616e22dc97d2d36cf659ff5631de844421b0a15","datavalue":{"value":{"amount":"+0.7869153022766113","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":"Q5935996$BF844AF3-9C9B-4B02-897A-BBAF44B05360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46629bc5551e896e406afa69c72f454f5cc63982","datavalue":{"value":{"entity-type":"item","numeric-id":3360162,"id":"Q3360162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"583010d8c7f1c285726dc2baa285a096b3e2472a","datavalue":{"value":{"amount":"+0.7793541550636292","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":"Q5935996$1B54895B-8BE6-4599-A264-DEDFE2000168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6a001a2686a22dc8e5559a5a8723dc0075323e8","datavalue":{"value":{"entity-type":"item","numeric-id":2703828,"id":"Q2703828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d152a171314bc30b08b10b17de32fcb3a1fcc4f1","datavalue":{"value":{"amount":"+0.7717369794845581","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":"Q5935996$819DDEB1-F9E3-45CE-89E8-04992E10CBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc80a4ae50bef582575d18896abb0ad7b5457771","datavalue":{"value":{"entity-type":"item","numeric-id":3138021,"id":"Q3138021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e577b8e719c6d456a944f3c050f05495e1aef8b","datavalue":{"value":{"amount":"+0.7695602774620056","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":"Q5935996$2F9C3EB7-5557-44BD-BEE4-F88D3070B25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d7938de339e89a7ff5d13ec7670212fe41e0aef","datavalue":{"value":{"entity-type":"item","numeric-id":716501,"id":"Q716501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47cc062e8b9b02100f4525324e0c2750d048bde2","datavalue":{"value":{"amount":"+0.7496490478515625","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":"Q5935996$32715E40-EAAC-4286-9737-ECA03714EA02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable and undecidable prime theories in infinite-valued logic","badges":[]}}}}}