{"entities":{"Q7007793":{"pageid":21549720,"ns":120,"title":"Item:Q7007793","lastrevid":82694927,"modified":"2026-05-06T21:39:04Z","type":"item","id":"Q7007793","labels":{"en":{"language":"en","value":"Algebraic structures formalizing the logic with unsharp implication and negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8016080"}},"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":"Q7007793$5C46DB4C-A847-4957-912A-8AC3EC4703E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ec289cd870e1073bf3e272849aea4d4dde329bb","datavalue":{"value":{"text":"Algebraic structures formalizing the logic with unsharp implication and negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7007793$64DF5FA2-2882-4292-8E84-52B380582AA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a68fc177b258063f07044a17b747bb6eab18b524","datavalue":{"value":"1573.03449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007793$9BA4B38F-FF1F-416B-B063-5161E260AA4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"210ed2ef77f6719fa097f628e8549db0bc813ec5","datavalue":{"value":"10.1093/JIGPAL/JZAD023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007793$6057A229-7736-4C87-97FE-B9AF881D8D5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007793$7ED9BB12-B92C-4B85-80EA-854974009765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7162e547d241b1c8d9309bd3535cff7ea502835","datavalue":{"value":{"entity-type":"item","numeric-id":190393,"id":"Q190393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007793$F8203065-D3C3-4862-9ABB-4ED408C3FB34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007793$00A4CB0F-57C9-45FD-AE73-D8D47B4B5C60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"557ec203c60ba3b58811bdaf67c6999b805da811","datavalue":{"value":{"time":"+2025-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7007793$D7AB7E65-4877-4380-ACF6-4A22C7B8F49C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007793$E1469A44-034D-41CA-B5E9-306112241777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007793$1572CD42-019C-41E2-AF9B-886A76FB07D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007793$956DE855-C56E-4A36-BB1E-DDC8911702AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1223677786942feacf9dacbc29eec9e8e4829e67","datavalue":{"value":"8016080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007793$C4DFA155-1E72-4009-9CAE-13709EA61EE0","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007793$527A74D4-775F-4AE4-9F01-09EDB867D7A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d9fb2b26e7d5559455c0330013b6cebfe35fe8","datavalue":{"value":"semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007793$5A298223-E776-453B-9C6F-F24ABF2BCF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007793$F01CFA71-9D91-45A6-B128-24EF813040BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007793$5A75EC25-5D37-4E4C-9CC8-0FFDE00CC956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24e3b7d1374a7e540c78058339b2dd5ff358b947","datavalue":{"value":"unsharp negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007793$A011D8FE-52F5-48EC-B1F3-8E6DEAB3D7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4650a9dcc5879be66de123f9874f8c04dbe00947","datavalue":{"value":"unsharp implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007793$72A75585-7ED1-47D0-86D4-BA1CF1E27CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007793$0046CC01-50E5-49C9-A449-7CA476506A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65d8ce1b478dc8adf2ee5b9d1401b48f0fe5d2c","datavalue":{"value":"filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007793$3920BA49-AF4A-4CC9-A96D-42C73C214193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007793$A5DFE946-8EB8-4ADF-BE68-60B0235270BA","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":"Q7007793$0AAAA3EF-9A29-4594-BC34-C4D49C8E469F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3602af867326b0fa1159dd03002ea3591613ff78","datavalue":{"value":{"entity-type":"item","numeric-id":1475932,"id":"Q1475932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007793$DB522190-1779-4B42-AE0F-A26641A95AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5822e7fc41e9b8eea42c05885bdaf169586234","datavalue":{"value":{"entity-type":"item","numeric-id":4815677,"id":"Q4815677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007793$CBB6B81C-90CC-4FE9-B830-1E747F4624B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feeec228fd72c91476ff8eee5744467c97fbcb05","datavalue":{"value":{"entity-type":"item","numeric-id":2847071,"id":"Q2847071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007793$D65F76AD-DDB2-4A75-99C1-2315396322AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4114caf5b6f7e27c775b28fff24f03ffedb369f","datavalue":{"value":{"entity-type":"item","numeric-id":5066805,"id":"Q5066805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007793$8040784B-079D-40DE-A28C-29AC62BA6850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9255064c72a7eb082175650ca603e5c9a53d3691","datavalue":{"value":{"entity-type":"item","numeric-id":6588984,"id":"Q6588984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007793$8A5ECAC4-645D-4614-95F0-890E0AE1008B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"116a06b31e681c19fe94e1748ae4d50b8feb4981","datavalue":{"value":{"entity-type":"item","numeric-id":2665835,"id":"Q2665835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007793$1968454D-A340-4CA2-A2E2-4B98B10B0896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f86f0b77991207b7a49e6f69a91f6ed643e84d7","datavalue":{"value":{"entity-type":"item","numeric-id":7007493,"id":"Q7007493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007793$44EB1119-1348-4FE6-9802-235859CD0C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5f3104663a235c2da96e5123b1d8a1b4d4c354","datavalue":{"value":{"entity-type":"item","numeric-id":5611791,"id":"Q5611791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007793$286FDD62-36CA-4E40-BDEC-138FC16BF2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd5df3b1d75c513225fd51cd3923e2a4cb48b88","datavalue":{"value":{"entity-type":"item","numeric-id":2625269,"id":"Q2625269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007793$8244DEEA-B570-408E-BFF7-77E01741D3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a2cc58e586aef5036291d7f960424df9c7c046","datavalue":{"value":{"entity-type":"item","numeric-id":1830451,"id":"Q1830451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007793$A6663659-78DD-49D6-8A43-66456371A038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac26b23de889767b748746f9740b3847787f795f","datavalue":{"value":{"entity-type":"item","numeric-id":3659833,"id":"Q3659833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007793$D3BF4454-DEE9-4D79-832D-9939B72E2879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb76e1343edbf6a74360f01ff6e5d08154bf5d70","datavalue":{"value":{"entity-type":"item","numeric-id":3235799,"id":"Q3235799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007793$2F1D523B-9F31-4A0A-A932-DFEFFCBA79D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ceac9fef30d57b8c946b95eb1cc06863eb815ae","datavalue":{"value":{"entity-type":"item","numeric-id":2534163,"id":"Q2534163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007793$4E9186C5-2E79-4AA6-9224-6F0CADED30BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3853e5379b61ded25a66e95e694eb878452bf1","datavalue":{"value":{"entity-type":"item","numeric-id":1188968,"id":"Q1188968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007793$82F6FFCE-8DC9-4C67-9B55-963624ACA8D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic structures formalizing the logic with unsharp implication and negation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_structures_formalizing_the_logic_with_unsharp_implication_and_negation"}}}}}