{"entities":{"Q1821093":{"pageid":1831835,"ns":120,"title":"Item:Q1821093","lastrevid":49049884,"modified":"2026-01-06T12:51:34Z","type":"item","id":"Q1821093","labels":{"en":{"language":"en","value":"Positive indistinguishability of algebraic systems, and completeness of positive theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3997756"}},"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":"Q1821093$0C0C387F-952B-4634-A97C-339AF689ABD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8d7cc27fe5c104d70833bb0633a39e5a46d83cb","datavalue":{"value":{"text":"Positive indistinguishability of algebraic systems, and completeness of positive theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1821093$271CD27A-4885-47D3-9098-F0ABACC2BEFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"420419db66c63af605eab498f7c3d0032ecae476","datavalue":{"value":"0616.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821093$646E30D4-D0D0-4267-BBC0-1ECC4C67FF4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"906ab1ff5a137164e87ae39cb64914486a02364d","datavalue":{"value":"10.1007/BF01156241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821093$737D7B9A-37DD-4FF9-B27A-D8740555906E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821093$135861CC-0447-4B55-B6A9-CAA32E28DF72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1821093$27EC5E95-9758-4EA6-BB2B-12F936401F0F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3bf42deb4c5ed22b21eb269f470fec8775aa2076","datavalue":{"value":"In this article we propose a general method of proof of positive completeness of theories. In the second part of this article, we give an application of these methods to obtain a result on relative decidability.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821093$7201950A-559C-4381-8002-F0A8CD5C46AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821093$5BAA2679-73D6-4251-BE4C-17743A947F64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dd73d0f475d4531ee41358e94d9cdae47d610e6","datavalue":{"value":"3997756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821093$11795590-A767-458A-BCD5-5AC621B10B73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd3a44e529912a14053f26695e48f36a559e806f","datavalue":{"value":"positive completeness of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821093$ECA163A6-5957-4EBD-B74D-1F97B7B7FDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8387cd015694dcd25681d7835b4495407dfc8132","datavalue":{"value":"relative decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821093$EA41B981-7116-4E2E-988E-8F88C07FFD1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7db674421ed0db1e1bef5dc27884ca11fa057c40","datavalue":{"value":{"entity-type":"item","numeric-id":832981,"id":"Q832981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821093$11A32508-6BE8-47BC-B71A-423EF1E8B8FE","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":"Q1821093$15AC6D4E-1E24-45BC-9C41-05A9E3EE6C2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4931dda6cc7efbbfb444477aac14d91b12799868","datavalue":{"value":{"entity-type":"item","numeric-id":3926793,"id":"Q3926793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821093$9546FC6C-4402-4640-B5CE-F1D583123A52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3587f22668eb4e2ed6074d1244a92a847bb519e","datavalue":{"value":{"entity-type":"item","numeric-id":3703875,"id":"Q3703875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b33667326279ab5fd87793f51a4d0d4b49405f","datavalue":{"value":{"amount":"+0.7076016068458557","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":"Q1821093$1BFBB6B2-14D4-43FF-99D4-29F6496C4E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"169273cf114d1b9569ec17757373830008fe23c6","datavalue":{"value":{"entity-type":"item","numeric-id":3717106,"id":"Q3717106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841929dc0d1500770b533fe134a1c23b3b4d867a","datavalue":{"value":{"amount":"+0.7030093669891357","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":"Q1821093$4EA316E5-7EB6-4C39-AEF1-50713E28E3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6cd72fd19f622bab5fbc1a4d686fbfc6cca41d2","datavalue":{"value":{"entity-type":"item","numeric-id":2195631,"id":"Q2195631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f4b7bd2a50798cbe8e3b9fa1bb4de815d03f8f","datavalue":{"value":{"amount":"+0.6983221769332886","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":"Q1821093$4A616CA5-E007-45DC-893D-14DDA6BE6F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1c966899e69a6bca2ee754d9fa06e179797d084","datavalue":{"value":{"entity-type":"item","numeric-id":647324,"id":"Q647324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b165adee83b5423431b903a6c16bd50781ac78bb","datavalue":{"value":{"amount":"+0.6967073082923889","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":"Q1821093$8F8EE828-2331-44F2-B805-AD73E83F2139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a6aee63a7fb9b54e9b5a1aa02877107628fc66","datavalue":{"value":{"entity-type":"item","numeric-id":4305489,"id":"Q4305489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba453748765424226a2d6f9857cf3e8cd7f07fb0","datavalue":{"value":{"amount":"+0.695159375667572","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":"Q1821093$29660112-1120-4319-A2D2-A0520B68A241","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1821093","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1821093"}}}}}