{"entities":{"Q5221856":{"pageid":7251426,"ns":120,"title":"Item:Q5221856","lastrevid":91610978,"modified":"2026-06-04T23:37:00Z","type":"item","id":"Q5221856","labels":{"en":{"language":"en","value":"A general view on normal form theorems for \u0141ukasiewicz logic with product"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7185551"}},"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":"Q5221856$E3B3F667-1006-4841-9ABB-FD041CC9648C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6846477a2b18177c828e9e632e913b45419d77c9","datavalue":{"value":{"text":"A General View on Normal Form Theorems for \u0141ukasiewicz Logic with Product","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5221856$5D888397-DEA5-4D51-912B-7C62F5FD7F5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5ebde049945db2e47edbb2eb17670c4045d2161","datavalue":{"value":"1433.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221856$C05EF09E-5D34-4AA7-9282-16C564EA3C9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adb75ef68f06b2203253440abbc3992e2e231ef5","datavalue":{"value":"10.1515/9781501502620-013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221856$17D014F3-550A-415D-AF36-C6716B93690A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9bc73574d1f1e56af483686325566d1d2793036","datavalue":{"value":{"entity-type":"item","numeric-id":898190,"id":"Q898190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221856$B209CA04-507A-44A8-B6DD-956BD5A57C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cb29a2e5c788c3f518c47d1e4b0a67112063a37","datavalue":{"value":{"entity-type":"item","numeric-id":818517,"id":"Q818517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221856$2A49F2E6-0F81-487F-9CB9-08E9C4FE593B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"acf087543524d623afbdd16ad688f4bdec86d00d","datavalue":{"value":{"entity-type":"item","numeric-id":5221601,"id":"Q5221601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221856$9FBB05CA-FA97-4D1D-ABA7-299458B5185C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5742da56dc1731f3b0dbd67108cb88ffed960e3c","datavalue":{"value":{"time":"+2020-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5221856$F85800B9-15D4-4B90-B103-36D202E2149B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85a649057673a3a83d87ef7b315e6b46b3b2273b","datavalue":{"value":"https://semanticscholar.org/paper/4398622a5a4cbdc64d28aeaa0f97961c5ebb9458","type":"string"},"datatype":"url"},"type":"statement","id":"Q5221856$557A6579-0D6B-425F-80D6-9725A5956608","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221856$ECD949A0-F618-416E-AD8C-7AA684798DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221856$E63433D6-F44D-480C-AC98-6D1240C2AD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221856$25D617CF-FC99-4C65-8323-7578162332C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00a9d57b6a6b8e4b98421677e15a5bdec3c113da","datavalue":{"value":"7185551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221856$5CFBE076-1393-435F-B6AC-797C8FA7FE0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221856$D13A404B-8621-46F0-A0AF-DFA32CF590EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e22550cc18e7160ad098e549c7dc18559bb98a","datavalue":{"value":"MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221856$D83C8EA5-A283-448B-A2B9-83D12B88BE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9d8bc31c314d5d0bc758d21c21c5ec1118a6bc6","datavalue":{"value":"normal form theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221856$8DEE1B84-DA01-4400-B2BE-FA21B2EB3A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae1c80db2ff61c60244fd1f801c9695d7f1890a","datavalue":{"value":"Pierce-Birkhoff conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221856$4AE8DF65-BA71-4CA4-9881-F9927D214D50","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":"Q5221856$0E7CE8D2-FF9A-4B08-AA58-BFDBE2135A45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53130fd00a2a751e0ce08f3a281a57c4781fa21b","datavalue":{"value":"W2489990086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221856$7DAD028F-C471-4233-9AFF-56275478195B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25fbe882be19eb551fe574a201edd5c143dfe677","datavalue":{"value":{"entity-type":"item","numeric-id":1677046,"id":"Q1677046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c464e6f4617f489c821c096c5c38dd5ee55a4bbe","datavalue":{"value":{"amount":"+0.8321483135223389","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":"Q5221856$2ECDFDED-4E47-40B9-88A6-9A92944F2B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f08c203d9b456466878e8452cee15c6bbe3c608","datavalue":{"value":{"entity-type":"item","numeric-id":4442750,"id":"Q4442750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f6649e06e4c67187acd32188e85ea6abcf448e","datavalue":{"value":{"amount":"+0.7658951878547668","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":"Q5221856$5FDFB990-434D-4BDB-A9E9-46F42705399B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bcb46901ac2a34501151b94fe273c9fa1a3afdc","datavalue":{"value":{"entity-type":"item","numeric-id":701745,"id":"Q701745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03d77c317fc788d9bd6a8804f926b19f0c2743f","datavalue":{"value":{"amount":"+0.7308733463287354","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":"Q5221856$45E6194B-E1AF-43C4-8057-036F0857061A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02f23d253df6fee49b74a4289d17f8c91cf773b7","datavalue":{"value":{"entity-type":"item","numeric-id":3145341,"id":"Q3145341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee15b027153db8a67123444d79f059c3085a7b6c","datavalue":{"value":{"amount":"+0.7271007895469666","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":"Q5221856$3E46608B-9248-4FB0-A0E4-A529FBFEDC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa39297d4cc919a14acb5567a2e80bb4c92f02f","datavalue":{"value":{"entity-type":"item","numeric-id":4508252,"id":"Q4508252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f521530e8e1380c9312730c5ffd82c3023a09e","datavalue":{"value":{"amount":"+0.722015917301178","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":"Q5221856$EE546C00-D939-42C3-A1B0-E6926C79B737","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general view on normal form theorems for \u0141ukasiewicz logic with product","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_general_view_on_normal_form_theorems_for_%C5%81ukasiewicz_logic_with_product"}}}}}