{"entities":{"Q5716213":{"pageid":7745767,"ns":120,"title":"Item:Q5716213","lastrevid":48634888,"modified":"2026-01-05T11:08:28Z","type":"item","id":"Q5716213","labels":{"en":{"language":"en","value":"\u0141ukasiewicz Logic: From Proof Systems To Logic Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2248482"}},"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":"Q5716213$EA7DADFD-D7DC-4CEC-B966-1058BA84808A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28e4af35689af49357c48c1bd3aadb94ecf37d7f","datavalue":{"value":{"text":"\u0141ukasiewicz Logic: From Proof Systems To Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5716213$D1D8070E-4445-4209-8F27-22F020C2B1D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2e6a96c6870e6c0ef1300742d8b5c2c82b049fe","datavalue":{"value":"1091.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716213$F2969FD9-6AA7-4624-B705-0005AE49A468","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716213$B06A0119-7DAB-4EE0-986E-62610EC0E44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716213$488B0292-A68E-43DC-A4ED-C611A835A486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716213$57FB9219-6739-4C87-9076-3D38190CD6B5","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":"Q5716213$DD2A1374-721A-4E47-BBF3-08FA2455AE01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c77bf37d2ae5702daccda67f1446ae9b01606ff","datavalue":{"value":{"time":"+2006-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5716213$8C214C3D-8C8B-4E2D-B210-997FF237BD91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716213$D82777BE-BB43-4D0D-9F0C-935D1CEAA184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716213$08EC31A1-E86B-4285-B804-F125E08BCBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716213$7EC37146-BC71-40CA-B2B4-27E8FAA50B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716213$614A42C3-E9CA-4F8A-99A0-3D68E68AC623","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3d6a4943c6a898c1aeca3f9bbf211ded9830624","datavalue":{"value":"2248482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716213$DF6CA6F1-0750-4698-85CA-37BCC57D8078","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716213$CF041B1B-EE5F-4656-99BC-1C41E2F1D5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08eec3cf0711981501111ffd8239ae14e06d8a89","datavalue":{"value":"many-valued logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716213$7E017C78-9ADE-402D-AB20-AA79577A3862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e575981ced5dd54633067b2ae7c903fd0f908d12","datavalue":{"value":"fuzzy logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716213$6CA45486-BF32-496B-B368-9324FA46E500","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":"Q5716213$704400ED-8F02-42B7-860C-162010F662A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69b84a83f0e656cf0cb0c72e6389817cbca516ac","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzi042","type":"string"},"datatype":"url"},"type":"statement","id":"Q5716213$A798691E-C775-4989-B837-2E6E05DAEC58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc25bcf14e3745e9eb2313e7c15f6eaeb0b30537","datavalue":{"value":"W2110802658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716213$6E000182-7BD8-4418-87C8-B4EE2A012C7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"943c80553c9e8b21ba6411a532f3052094653c6e","datavalue":{"value":"10.1093/JIGPAL/JZI042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716213$6529BCC3-3A9D-43A2-8E95-4ED9AA8DDC0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c45d674d92c8b9dcd6a799bc00995205321ff061","datavalue":{"value":{"entity-type":"item","numeric-id":5311248,"id":"Q5311248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb702a8030a1f40e73335532e0eb34eff651ca8c","datavalue":{"value":{"amount":"+0.8631766438484192","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":"Q5716213$B1D77250-E663-4A5D-91E3-F0226E945D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7601a09b70f70662b17e50aa3b13885b9b6f9ef7","datavalue":{"value":{"entity-type":"item","numeric-id":687151,"id":"Q687151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a477c27e9c1bb2ad9e25e90e5443c20ef5a50b60","datavalue":{"value":{"amount":"+0.7928206324577332","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":"Q5716213$05AFA16C-01F8-44C5-963C-C7B2318EF5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3fd1a717a8818f2afd1e1af383cd08094e8044","datavalue":{"value":{"entity-type":"item","numeric-id":3511458,"id":"Q3511458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75a22113bf3ced9555db0e66c72b30e61f8237b4","datavalue":{"value":{"amount":"+0.7910159826278687","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":"Q5716213$1C6A73F6-87F3-47CE-A599-0A1275883EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4773d0aefc9fb6908bc7efdbc48cbf63cdf9b03b","datavalue":{"value":{"entity-type":"item","numeric-id":5434477,"id":"Q5434477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed3628435a90924dd3574ad739c8b4f8b1f35942","datavalue":{"value":{"amount":"+0.7679203748703003","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":"Q5716213$33F42210-4BF9-4B26-8C7F-DD97EEA7F292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4369ff79a108f5e22c0a0b6f7e932f476cb1d34a","datavalue":{"value":{"entity-type":"item","numeric-id":3680812,"id":"Q3680812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c2c7a9109abfd66a9fa2d736c6c16e7eec63c1","datavalue":{"value":{"amount":"+0.7576810717582703","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":"Q5716213$027DDC5A-422E-4222-9671-619D1A6E20DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716213","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716213"}}}}}