{"entities":{"Q4729758":{"pageid":6759335,"ns":120,"title":"Item:Q4729758","lastrevid":90716414,"modified":"2026-06-04T21:09:04Z","type":"item","id":"Q4729758","labels":{"en":{"language":"en","value":"Elimination of Quantifiers on \u0141ukasiewicz Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4114592"}},"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":"Q4729758$3DD8CF02-B529-4611-AA80-98CD0A601981","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f20bf211899740f8d83333055e35b66022f1f6e","datavalue":{"value":{"text":"Elimination of Quantifiers on \u0141ukasiewicz Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4729758$7064BD0A-F9F7-4BF5-A3AC-0DA2CB8C777A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"267453089ab451bfd47b4fdcfecef5c89a02cfb4","datavalue":{"value":"0681.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729758$7DB049FA-B9FF-40F8-97FF-DF9AA0C2ACDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7768e00296a8552160094f00ee1c903d11ec11c","datavalue":{"value":{"entity-type":"item","numeric-id":186048,"id":"Q186048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4729758$4E2A32DF-3E65-470C-9ACB-7B0703E90401","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4729758$D08F754A-0770-45A8-A78C-D1DA66B1341A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q4729758$33923D6A-E659-45E3-95AC-7C68A33F77E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729758$C1B6DBF7-0AE7-43E8-9D93-A4D8E4A4D149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729758$75E22A7A-FC80-4ACE-95F3-96428C245E7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18ba6cd33b139154f2ff6c13bb944d2b7b9eacd1","datavalue":{"value":"4114592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729758$4874D325-CDD7-4827-B2BE-A1E385DFA7AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729758$2DF28540-94B4-423F-905C-B34C5DC12B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba48e931a171f81cc935a7a688b4dff7840cf3b1","datavalue":{"value":"\\({\\L}ukasiewicz\\) logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729758$6208089A-123B-450D-AA64-278ACD41DAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729758$0C9A196E-6D82-4B13-9D11-811DD7FD111E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729758$22CC77CE-EEE1-40FC-9C61-2E1DF317605D","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":"Q4729758$01F13D23-F03E-4E10-955B-BCD4C5D4DEEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"146bea770719efe2fc2855a95dab63243ab9577d","datavalue":{"value":"https://doi.org/10.1002/malq.19890350103","type":"string"},"datatype":"url"},"type":"statement","id":"Q4729758$31D067EC-EDB5-4873-A0E7-B7835FAEFF46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0beeec525f79eac71fe0a2c7d220d12d8010f120","datavalue":{"value":"W2122976571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729758$55A66063-D227-4414-A00A-E21D63292140","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44637a414e8679ed6273978aabfd8ad53d50ac52","datavalue":{"value":"10.1002/MALQ.19890350103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729758$DE855BBA-F504-496B-BE9B-DD89F4E23415","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2548285edd20f468d66bdba0b3f50a49ee96ff7","datavalue":{"value":{"entity-type":"item","numeric-id":4263811,"id":"Q4263811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c483ab78d36af3179fe5ab659e56a4f883742e5d","datavalue":{"value":{"amount":"+0.7967132329940796","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":"Q4729758$23DCEBB8-7195-4D92-8F99-4A47FA3DB4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1738dc5b95f1e79c89edfd807eccfb013fe393f3","datavalue":{"value":{"entity-type":"item","numeric-id":5744271,"id":"Q5744271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c483ab78d36af3179fe5ab659e56a4f883742e5d","datavalue":{"value":{"amount":"+0.7967132329940796","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":"Q4729758$E6F5060E-6CAB-4929-9345-7368134E1E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88fe780cced9818c92895040744758534ac16167","datavalue":{"value":{"entity-type":"item","numeric-id":3344199,"id":"Q3344199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa20e9e0accc48e88d1b28a7f80e0154a59dd082","datavalue":{"value":{"amount":"+0.7588936686515808","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":"Q4729758$E87B209D-C8F2-4750-B7BD-EFCDB71E704B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85252c0ddf4c140b97030e18fe2e47cb3226e540","datavalue":{"value":{"entity-type":"item","numeric-id":1110497,"id":"Q1110497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94f8285b6e3ebb62ae2db510d4939ed683cd7e29","datavalue":{"value":{"amount":"+0.7572747468948364","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":"Q4729758$23B15AF8-ED49-4CA3-9432-7CFD778F25D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa04e1abdcff11c16e19bb03d7b93d9984dd5262","datavalue":{"value":{"entity-type":"item","numeric-id":5109215,"id":"Q5109215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629a2722f8d6a04fc6cea404a2aeccd0b871a749","datavalue":{"value":{"amount":"+0.7552061676979065","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":"Q4729758$2E5289C1-17AC-4FD2-9A1A-14B11F370290","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elimination of Quantifiers on \u0141ukasiewicz Logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elimination_of_Quantifiers_on_%C5%81ukasiewicz_Logics"}}}}}