{"entities":{"Q4900970":{"pageid":6930549,"ns":120,"title":"Item:Q4900970","lastrevid":51639767,"modified":"2026-01-19T05:14:10Z","type":"item","id":"Q4900970","labels":{"en":{"language":"en","value":"\\(\\lambda\\)-resolution for medium predicate logic based on an improved form of infinite-valued semantic interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6129439"}},"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":"Q4900970$B61F5A77-CE34-4F6E-85D3-552CFADEC8CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6d1d9170e97f7035a8086fe8216f001565ceba3","datavalue":{"value":"1265.68250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4900970$29FEAEFA-7E1C-44CD-93B8-4F726A9FD8DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9597d1ffc80806272dbf6a244c2d0fbefed73c9","datavalue":{"value":{"entity-type":"item","numeric-id":2886292,"id":"Q2886292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4900970$F1470DBB-6671-499F-A4BE-9074E6BD81A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f97949626c916ff0be21f38bbe8af0ebb800dce6","datavalue":{"value":{"entity-type":"item","numeric-id":701990,"id":"Q701990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4900970$A8CF2106-44A6-4247-AE67-CEC5199902C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97efcfeb60ae9286fe58dffb6ddf031782f90aea","datavalue":{"value":{"time":"+2013-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4900970$DC38B063-5086-48AE-ACBB-5820C6C8A981","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4900970$F4697E3F-D35A-4BDA-A959-558AB1E7722F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4900970$111FA56F-1B8B-481F-B6DB-AEBAE3CE934C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4900970$C012D859-FF7F-46EE-8094-BD87B1A9712C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"147ccc0167c2e9c700116d814eec17157ca405be","datavalue":{"value":"6129439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4900970$6269F6A2-7E88-4011-8AF9-7C2D2D029898","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"158cef123403a05f5cca133e0ef2707ccdefe739","datavalue":{"value":"medium predicate logic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4900970$516444B4-C0E3-4176-8743-A9DAFB79FCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c07dc85d79a08f524363ba32c0e4d384e6176d2b","datavalue":{"value":"\\(\\lambda\\)-interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4900970$139F2288-BD10-42E3-A232-0F35DD2A451F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c944089ebd99d6195538b901db0229fcb390018b","datavalue":{"value":"resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4900970$76FE5577-0EBC-4900-8621-B7CA4937A52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7a9dbd3698e0a3838c8aed4a1683937147f8ce2","datavalue":{"value":"\\(\\lambda\\)-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4900970$0C44E068-6CBE-484E-BB79-FE25D9F09777","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":"Q4900970$CECAE7F1-282D-4CAC-9EF8-E90CABE11B46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56530dd1ffbdecd9d3250ed899b506658ffe1262","datavalue":{"value":{"entity-type":"item","numeric-id":3830976,"id":"Q3830976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d22d69c66ac8ea312a0014febbdc6612900042a2","datavalue":{"value":{"amount":"+0.7758747339248657","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":"Q4900970$E33F466E-401C-426E-954E-52E0AF0F076C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"997c4c91605a2162abd7ff4d79f45b578357e2f2","datavalue":{"value":{"entity-type":"item","numeric-id":3358713,"id":"Q3358713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f047637702c1e5fd1fb18d4c08c609f1afa5a0c","datavalue":{"value":{"amount":"+0.7353039979934692","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":"Q4900970$4896E3B7-F3A3-4985-BC86-98842BBFA19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1705df1836742e2bb7fc5d40a503c4b5295b3099","datavalue":{"value":{"entity-type":"item","numeric-id":3984062,"id":"Q3984062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dacecdf1c8563255b01937a68bfee0a7d534f95","datavalue":{"value":{"amount":"+0.7349027991294861","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":"Q4900970$0C7C1FCB-2786-464D-BFAF-723DF85326DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"828fefde10f6c960970b3fd60be73e952b1ac045","datavalue":{"value":{"entity-type":"item","numeric-id":920979,"id":"Q920979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dacecdf1c8563255b01937a68bfee0a7d534f95","datavalue":{"value":{"amount":"+0.7349027991294861","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":"Q4900970$93B46D92-05F1-4BD1-85C4-D08E155F9A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3bf1fd530e4684d8cd78eac26263ad287a1a6d","datavalue":{"value":{"entity-type":"item","numeric-id":4544365,"id":"Q4544365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be94e3675292a75f5994633f408037a429f8eb9","datavalue":{"value":{"amount":"+0.7209120392799377","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":"Q4900970$2CC235B6-60D0-4F10-ADF7-2F502236BFF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4900970","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4900970"}}}}}