{"entities":{"Q2063679":{"pageid":2074421,"ns":120,"title":"Item:Q2063679","lastrevid":71252541,"modified":"2026-04-13T21:00:04Z","type":"item","id":"Q2063679","labels":{"en":{"language":"en","value":"Theories of the classical propositional logic and substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7455566"}},"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":"Q2063679$BA2B70B8-97B2-4356-B3C4-61613C778794","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"286cb1dc4595c40d47e1e7734ce4d54711badc05","datavalue":{"value":{"text":"Theories of the classical propositional logic and substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2063679$788B23EE-6BFA-4215-A3E8-79E16608EF97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f4110450cc020519a044a9fd99cda76b1ed1769","datavalue":{"value":"10.1134/S0001434621110249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2063679$82FC4794-9B4B-461C-ADA0-B0659634801B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"774710b753989b14b2830ae7350a3865712694de","datavalue":{"value":{"entity-type":"item","numeric-id":2063678,"id":"Q2063678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063679$C260722D-535F-4D9A-9276-1F1338F54F5D","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":"Q2063679$624A13AD-CBD0-4F07-988C-33F2B38010B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c55eb3ecc64f07fd602e06c6a37a740c982d0cb7","datavalue":{"value":{"time":"+2022-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2063679$741ADA3B-32E3-4FE9-9386-5F1380041095","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2063679$966F231B-B979-4CF2-9B44-FF5161882E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f97231c38032b2cb868c18061aedc088fc6d95c4","datavalue":{"value":"03Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2063679$F4A7727C-9A2B-42EA-941E-08A558117882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2063679$50620833-F528-436B-99CC-A72C6D2E678E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74208085df15be3e8a63027719a4ece1460b99b3","datavalue":{"value":"7455566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2063679$BE00AD08-502E-4677-9748-11FBA190ECAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90647284a851b9e751104059835ee4819ce28c49","datavalue":{"value":"theories of classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2063679$803C912D-3B21-4017-8865-B4EB4C1B861B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a562d9b3397d02d8abba66f3603c94ff03cfa1","datavalue":{"value":"inversion of substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2063679$D9A0AE1A-9A95-4155-9493-9A2A07BADBA0","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":"Q2063679$2430639E-55EA-4F86-B9B8-94605FAF56D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"887ce5f4ec8106c03179c52644f85b4435520288","datavalue":{"value":{"entity-type":"item","numeric-id":3791124,"id":"Q3791124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063679$2D788F2B-D418-427F-8B91-C17E9F2518CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"039fb27ea46010373a69be6f94367b908534536a","datavalue":{"value":{"entity-type":"item","numeric-id":1233021,"id":"Q1233021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2063679$37FA5964-074C-40C7-BE3D-C5609349F9F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f225d365d9578c84ff8331440fa4bb72fbea0d0","datavalue":{"value":"https://doi.org/10.1134/s0001434621110249","type":"string"},"datatype":"url"},"type":"statement","id":"Q2063679$02D463DB-D029-4F91-A03F-527A198FF8ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6093ef7588c977545cf8f94106b077777ae239af","datavalue":{"value":"W4200545015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2063679$ACADC76F-F38C-49FB-94E8-1E58CA63C4DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"971f2a2bd9be87ed4272a86d681b288a1be39507","datavalue":{"value":{"entity-type":"item","numeric-id":2191627,"id":"Q2191627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b5bb7096745b5d636c89ab52259ff7abfdbf503","datavalue":{"value":{"amount":"+0.9437729716300964","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":"Q2063679$CFFA919B-42A1-4349-82F6-C74CE77F855C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceddee807fb8b21e54578ede18aad07a1b5163b1","datavalue":{"value":{"entity-type":"item","numeric-id":2678340,"id":"Q2678340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d5b5f678859d5238f4ff312258938e37a747e16","datavalue":{"value":{"amount":"+0.8086888194084167","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":"Q2063679$AA227B03-44A7-44D6-8CFB-F09F14806D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bc0d37caa81caac51790599bc85f9ea85c4a77","datavalue":{"value":{"entity-type":"item","numeric-id":3474634,"id":"Q3474634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03cb92379870448e9dbcb41bb239b4addabd4bcf","datavalue":{"value":{"amount":"+0.7415540218353271","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":"Q2063679$F82A7797-50C0-4839-9718-44031A75ECD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"017b588051b33ee2fb4cd0e7a589d3c322cf9655","datavalue":{"value":{"entity-type":"item","numeric-id":3370754,"id":"Q3370754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c574a28e50fa68df293f839885cd8178fdb8f767","datavalue":{"value":{"amount":"+0.7398927211761475","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":"Q2063679$BEDD0939-7C5E-488B-816E-DE7789BD678C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89bab0519a4863edd82daf226dbcf07fa72f0817","datavalue":{"value":{"entity-type":"item","numeric-id":1433380,"id":"Q1433380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3675e4af79702bf0cb9293962757e8d9e281696c","datavalue":{"value":{"amount":"+0.7391164302825928","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":"Q2063679$5FD74E7F-BD72-471F-97F8-5CA35AEB1EB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theories of the classical propositional logic and substitutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theories_of_the_classical_propositional_logic_and_substitutions"}}}}}