{"entities":{"Q3454805":{"pageid":5234205,"ns":120,"title":"Item:Q3454805","lastrevid":52403489,"modified":"2026-01-22T13:56:33Z","type":"item","id":"Q3454805","labels":{"en":{"language":"en","value":"A bit of history related to logic based on equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6514154"}},"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":"Q3454805$BD9010DE-7AAA-45AD-BD84-35F648AD02F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5008aef7af8cad7cea7c23659bc838cbd98fb63","datavalue":{"value":{"text":"A Bit of History Related to Logic Based on Equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454805$6E9A3614-4322-4ABA-AA7F-81421F44BE00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa58ad7c1bc6ebbd7c17ea761862f60a764b6c70","datavalue":{"value":"1330.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454805$4A4AE6C7-3C5C-451C-846D-C98BC5F9B42A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb436cf1ac7cbccfac438775f9473593c89926a0","datavalue":{"value":"10.1007/978-3-319-09719-0_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454805$4EADE343-7326-4781-ADB2-44813D8841DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"025155ad88f33216a4124a2c377d3f6c78a58a7c","datavalue":{"value":{"entity-type":"item","numeric-id":804556,"id":"Q804556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454805$DECBB03C-9032-4952-8501-1EA397F9A320","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b747cf0c9bd19fcbc5688fe3c3f4334a261bd34a","datavalue":{"value":{"entity-type":"item","numeric-id":371439,"id":"Q371439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454805$B72A32B3-C71F-4F17-818E-73EC05B5DAEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2990f15fb72f6c326cb4769a65b2c5db00bdd289","datavalue":{"value":{"time":"+2015-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454805$C4E989A0-1893-4C03-A2BA-1EB68467B635","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454805$911B8047-D6A5-4B58-99C8-63D27268BC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454805$D4FD462F-E535-43E7-BC3F-CD5CABCE8D23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e216684a143e66c5bdb1a27b9521bb815249347","datavalue":{"value":"6514154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454805$3B58EAE5-CA91-4D36-B9DB-DEACC70656CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454805$318105C2-6D2E-482C-BAB0-FE7D0D50E3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454805$28957D01-C988-4763-A795-EA14D7DC59B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d380572cd0dddad9527f5e191f4cf0401a233ff","datavalue":{"value":"Henkin","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454805$3B64F95D-3E81-48F5-9F5D-6300F64A35E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf378679d37703b334b22ead87b6793cd1ed4fd7","datavalue":{"value":"axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454805$60371063-E43A-4289-9F56-F4309413338B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454805$8812FF7D-9EC2-44EB-B598-D4207196333F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454805$AA6ED65C-B2D3-4814-99F9-2A494630E9F2","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":"Q3454805$CE53E99F-B1BD-4B94-8FA7-C1EDEE604F47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d82d0e4089f518f9c1b5136eafbef3748e478f8","datavalue":{"value":"https://doi.org/10.1007/978-3-319-09719-0_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454805$B629886A-1302-4122-8A77-216B7B426C84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29d4dce234bdead73b0780074a98131dcb6423fa","datavalue":{"value":"W146831528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454805$6E63DB3B-5A54-43CA-B9A8-90C86D964378","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a354fd6c71f8a73a4d7c4b6a3314179644b316ae","datavalue":{"value":{"entity-type":"item","numeric-id":5332210,"id":"Q5332210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454805$D569EFEA-F20C-4B27-8D06-F2EE192F3071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb9e3a6772849ff9a629cad139288838375d09c","datavalue":{"value":{"entity-type":"item","numeric-id":2395467,"id":"Q2395467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454805$DF1B5E12-49BA-499A-A90B-4CEBBBA52C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b31eb60d26c4661feb10212d462496d10d3f508","datavalue":{"value":{"entity-type":"item","numeric-id":5680123,"id":"Q5680123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454805$77ACDF05-4DB7-40ED-AA6E-39BC64E2214C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd9a23733869cdf6d59b70b142e18db86efa96d6","datavalue":{"value":{"entity-type":"item","numeric-id":5680122,"id":"Q5680122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454805$FB3EB94A-8DE4-46C4-A3DE-0E3241701C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454805$71260D55-5328-469F-AB83-AFEF33CE5248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b258ca187c81b9bb7848210f28bc59e01d56d47e","datavalue":{"value":{"entity-type":"item","numeric-id":5331469,"id":"Q5331469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454805$C84B902A-21E0-4D31-8202-66E986930600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454805$54215BF1-600F-43A3-9C6B-8136538A9D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454805$4F9D96FD-2F8A-4FD0-91AB-5791EA0C2A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111f0eb16bef0501ce0fc399f1827e597f8b82f4","datavalue":{"value":{"entity-type":"item","numeric-id":5332209,"id":"Q5332209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454805$A5B1DEBB-128A-4A1F-A067-B7507424B648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2daa73201e6b2c8db1fc9d936e77b5c073bcd3a4","datavalue":{"value":{"entity-type":"item","numeric-id":5571677,"id":"Q5571677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454805$FFB2C9EE-7E6D-45DC-9236-82CAFE9D7D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8fe59e6adf4a259b80e39d3171482ae787d8ea","datavalue":{"value":{"entity-type":"item","numeric-id":5768089,"id":"Q5768089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454805$6E6981C0-EE72-42AF-9960-544EF44E0C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b5fac3575abb30f0a4a78585a9900357e99aa4","datavalue":{"value":{"entity-type":"item","numeric-id":3235354,"id":"Q3235354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454805$0157C12A-A2BB-4E59-950A-C1028C026870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"473b758b30b9158f5994b79175ebd93a59fb052b","datavalue":{"value":{"entity-type":"item","numeric-id":4477880,"id":"Q4477880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454805$C233E428-65E3-46A7-8662-1E37E45EEE00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac5cbc546bec28636433fbbf9947abc95141d02e","datavalue":{"value":{"entity-type":"item","numeric-id":3299569,"id":"Q3299569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a28802fe3846bc7f13803616af2b3b0ea3ab94ce","datavalue":{"value":{"amount":"+0.6443670988082886","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":"Q3454805$132D9EEC-F0CD-419C-A6BB-5F153703DDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ab16beea7ebe913e8971ebeb504479c2819758","datavalue":{"value":{"entity-type":"item","numeric-id":4720016,"id":"Q4720016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5566d725fec445711bc18156eefbde3890d6f2d","datavalue":{"value":{"amount":"+0.6426405906677246","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":"Q3454805$E54B2146-4A21-446B-82D6-CC0F7CFEF0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18992c641e707e3bf3ed56a1836a9b563d15acd5","datavalue":{"value":{"entity-type":"item","numeric-id":3801515,"id":"Q3801515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f83700b63eb0bdbc35d1c0597363fbac88c6643","datavalue":{"value":{"amount":"+0.619670033454895","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":"Q3454805$E0E5C250-7C6F-44EC-BD86-A15FDA62E51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ed6bc0e2414ffc6ac1509496d4395ac4cea8d7","datavalue":{"value":{"entity-type":"item","numeric-id":3454798,"id":"Q3454798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83bb6af6fad22e7b6a90522d7a25adaaecfe4204","datavalue":{"value":{"amount":"+0.6143242716789246","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":"Q3454805$183BD2F0-803B-47A2-BB8B-58DFA968AAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e519ce84b9ec610e92f53c94bad9f97f81914b","datavalue":{"value":{"entity-type":"item","numeric-id":4913997,"id":"Q4913997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1056f067e6108d65e9cf9cd575329b8f74d37602","datavalue":{"value":{"amount":"+0.612004816532135","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":"Q3454805$95ABE2FE-9DB7-43CA-A114-49A2C2B22082","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3454805","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3454805"}}}}}