{"entities":{"Q2816365":{"pageid":2827103,"ns":120,"title":"Item:Q2816365","lastrevid":83678657,"modified":"2026-05-07T09:57:10Z","type":"item","id":"Q2816365","labels":{"en":{"language":"en","value":"Constructor-based logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6602175"}},"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":"Q2816365$EF061B2F-89DE-4ACB-B99B-D08F99C29D9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d52c59ec20b85f5ee9996d92d33ba99704ff6208","datavalue":{"value":"1362.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2816365$0313B46F-F907-4C89-B875-99F3C7F691E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2d638021660716db5787978cf34b6aa4aef754d","datavalue":{"value":{"entity-type":"item","numeric-id":878155,"id":"Q878155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2816365$3FD92BF3-5A06-41E9-A95A-5099DF67CEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f6f99687ff908843c429ffd48d1e31213ec62ef","datavalue":{"value":{"entity-type":"item","numeric-id":520243,"id":"Q520243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2816365$7A83F6E0-31B3-4536-9ECE-CE16CDFFCE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c8b8152eb049581c2538d13b0e2ff0fba8e40b","datavalue":{"value":{"entity-type":"item","numeric-id":520242,"id":"Q520242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2816365$CE7B8BC5-51A8-45E0-917C-0ECDBFDD96B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d94d7fb93a112f04dcda84d3b27e1ba4f782c3b","datavalue":{"value":{"time":"+2016-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2816365$D026F372-AAA6-4C36-A629-AC6BFA4F9F92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a93ecc0e0ef8d0860df39496a0895956b0ffdbee","datavalue":{"value":"http://www.jucs.org/jucs_18_16/constructor_based_logics","type":"string"},"datatype":"url"},"type":"statement","id":"Q2816365$1A27D35F-42E2-4719-97DE-3EA6F7CBCD83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2816365$90D172C4-D4A9-4D7D-8397-29140E679F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2816365$72A295C8-955D-4007-B568-618427C61708","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f75c3c0e8b6a90a85643b020e796fb7f371a754","datavalue":{"value":"6602175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2816365$9E92C9C7-604C-4569-9856-A7DDB09A10E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ed1b2ba167230a9136fae7fa7f544041194248","datavalue":{"value":"Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2816365$0AC59B49-BD9A-42A2-9A41-F763362427A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2816365$00ED58B8-9026-4BA4-A411-3598A61C77B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11546df3125bced29f4da6d544b209e2ff5fc0de","datavalue":{"value":"constructor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2816365$4E0FF832-D1FF-42B9-BC5F-066D0C4C2FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2816365$47018C57-52AF-4D4A-B0B6-CE8875D5B80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e02ac2fdcfcae6ede1dce8b210f5ee684c4dc9","datavalue":{"value":"institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2816365$0F40D369-5943-4081-9850-B7E27E5169AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2816365$119B6EB1-A6B7-4874-BFD9-7504D33C5AE4","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":"Q2816365$487249E7-8183-4484-BBF9-4158A8ABCF4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68ca4453543f32f01172240ae73bfb5847df767d","datavalue":{"value":{"text":"Constructor-based logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2816365$DBC93DB0-EFE1-4B39-93A5-B30443CA7378","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c6d23f5e6d6bf1cc5470572ba2ca753041c02a4","datavalue":{"value":{"entity-type":"item","numeric-id":6768184,"id":"Q6768184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2816365$0D6FD6D1-F89B-4717-B910-432660242F7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f18e87527835e36f2d5adc4f9a949e0b21523d","datavalue":{"value":{"entity-type":"item","numeric-id":2888501,"id":"Q2888501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b9f92ae98efc4eeb2ac522c2b97430bae478164","datavalue":{"value":{"amount":"+0.951683759689331","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":"Q2816365$C046FEFA-A6AA-4BAB-94AA-D6ACB90A806C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88e9f5696d2f663ff4270a486a526bcb9766079","datavalue":{"value":{"entity-type":"item","numeric-id":1944775,"id":"Q1944775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d564b3b5bd0c7196473c7bcefa18c2f9b1b164c1","datavalue":{"value":{"amount":"+0.7947039604187012","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":"Q2816365$636E98A3-FA9E-4F13-BFF8-AC64CC37D3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2103e45fe1a113f2ddc8f20cdca4358850cef685","datavalue":{"value":{"entity-type":"item","numeric-id":5176547,"id":"Q5176547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1daa7fdb9c7b2b37b8b099d9aac1d56a014fa58a","datavalue":{"value":{"amount":"+0.7837047576904297","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":"Q2816365$42AE830C-C95B-4BA7-BD97-2F02618B09BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d2a2320a9044182b64a06707cdc92100ce6b0e","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d614b08fe064bb5165687e1f44cafd577d44c3a","datavalue":{"value":{"amount":"+0.7668163180351257","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":"Q2816365$A0DDC921-D8BD-4DE0-A823-A277B6F370F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356da67ff07214b46c7b6b40aad8dd4c255ef701","datavalue":{"value":{"entity-type":"item","numeric-id":3222190,"id":"Q3222190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c82f526c1b0b954bdc60322ef7ab4279c564c2","datavalue":{"value":{"amount":"+0.7450242638587952","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":"Q2816365$5AA2B3A6-C6B1-4F67-8E68-4B45ED0D88EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructor-based logics","badges":[]}}}}}