{"entities":{"Q4359675":{"pageid":6389274,"ns":120,"title":"Item:Q4359675","lastrevid":46953588,"modified":"2025-12-25T22:23:45Z","type":"item","id":"Q4359675","labels":{"en":{"language":"en","value":"The construction of formal logical systems without axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1076241"}},"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":"Q4359675$E055F5CE-6520-468D-83DE-F976990B31ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a809538498f7bb5dd4eefc11ae5a08de04e7d19","datavalue":{"value":{"text":"The construction of formal logical systems without axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4359675$445C616D-C1E6-4901-814F-42AB1E12012F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4e7ff9dcec4d17ab49682b7e89425a6b3e6f502","datavalue":{"value":"0885.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4359675$9D20C973-CD1D-4C82-9BDC-4609010F77C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d5ffd0a95d5dc1f164d4c1781089a5cfeeff346","datavalue":{"value":"10.1080/0020739960270408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4359675$C11463B9-73B6-4679-9596-5E000ADDD19C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48d68a5447505bee40b19e25e50f419247ca39d8","datavalue":{"value":{"entity-type":"item","numeric-id":4359674,"id":"Q4359674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4359675$C150F98B-1F52-4FF0-A720-95F5F1942DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a94e75b76bcbb849c80b7619299cbc9d4a8fb9e","datavalue":{"value":{"entity-type":"item","numeric-id":3383616,"id":"Q3383616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4359675$9FD52699-8BF9-404B-BD02-A37BD917EDCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"08d20bac7e1bce8563c7b2788edae6eea2ce4dbe","datavalue":{"value":{"entity-type":"item","numeric-id":2808985,"id":"Q2808985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4359675$B39596DB-6EB0-4F5D-83F8-BA991FD5BA30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f32c4f84dfe8ec89b557af06d9f906ffb4a113a","datavalue":{"value":{"time":"+1998-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4359675$E7927AA7-BEE3-46F5-8999-D9A7EDC58474","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4359675$C17AC72C-7327-4D30-AB12-56BD87E04CA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7ba69eb27c68fa7dcb323c4013dd1ebb6e5cc1d","datavalue":{"value":"1076241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4359675$4C66988B-33E4-408F-A843-13F8284F28DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79357909a78baf44e3cff111a72e55c144928c06","datavalue":{"value":"formal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4359675$8B0D0C5A-8E74-47BC-9CF1-CE817C52E8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4359675$EDF5EF71-5EBD-4744-A264-0FFE3588D529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4359675$8B3FA0CD-6708-4598-8A3A-62C923F2851A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fe43d4d558cd48340bfd626e98f4381db9f99b3","datavalue":{"value":"Lukasiewicz axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4359675$2ADD84E1-C51E-4D3F-A60F-E6B0EDA70C7A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4e86201334d4a7b098b2512ee57c9e830e581c10","datavalue":{"value":"Q114643046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4359675$CD5750AC-F6DE-4920-9E27-CCD657161209","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":"Q4359675$BDA161F2-5CAE-4326-B71F-F32559AD0B05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd388ccdd2c073d478c2cebb170e926257a1bee4","datavalue":{"value":"https://doi.org/10.1080/0020739960270408","type":"string"},"datatype":"url"},"type":"statement","id":"Q4359675$E3605904-C5D3-4013-932A-4CE4ECFF29F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f44f3359b36f44f66f796bccee7f982a6aaabef8","datavalue":{"value":"W2010228494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4359675$A9AA92A9-D2E7-4745-8F6A-73C8D02EB5D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946adaf1a8c8f141e0757f8f6f8365e21e858a9","datavalue":{"value":{"entity-type":"item","numeric-id":4099559,"id":"Q4099559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4359675$C9404CC7-C571-47A2-978F-1EF76DB7E48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551422936a59120f181f13e988af6ec98e343b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5737076,"id":"Q5737076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4359675$47DDC596-5DA8-47E9-B1AD-0C764B0AD5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abcb2e905e92d8a61492e0924459f1fe3cd4406","datavalue":{"value":{"entity-type":"item","numeric-id":5784989,"id":"Q5784989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4359675$6D49119E-0CC7-4476-99B0-051187FE60BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0daa55e042431da06a7342af1ca1ff94923ae32","datavalue":{"value":{"entity-type":"item","numeric-id":3236671,"id":"Q3236671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9536fbdad9115007725c2249eb62e045b29af31d","datavalue":{"value":{"amount":"+0.739374041557312","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":"Q4359675$C00A90DB-C6BF-498D-8027-FDC4A653C3E7","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":"612f337fde25446cd9484dd38e3ab0810ff9ae25","datavalue":{"value":{"amount":"+0.7387000322341919","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":"Q4359675$38AF4D96-6CFC-44CA-8A19-44A409AB42DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7caa308003fd902586536010d3bf46cb20c56065","datavalue":{"value":{"entity-type":"item","numeric-id":2735691,"id":"Q2735691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f25497dd3d4879ed71ccb56f3d3287f64c7bdc9","datavalue":{"value":{"amount":"+0.7303934693336487","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":"Q4359675$B9497D3E-8289-4F18-9765-CC958BC98045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51175055e759114ea1705af5e5775b971351606b","datavalue":{"value":{"entity-type":"item","numeric-id":5411456,"id":"Q5411456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"547fd34ed950713b7b9bfb2d45d7f76448fbb5a0","datavalue":{"value":{"amount":"+0.7220714688301086","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":"Q4359675$849BF3EC-AD14-4CE8-B838-7EA50193D323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44273a8ac65d435c2f40dcc447ee8e1f4de44311","datavalue":{"value":{"entity-type":"item","numeric-id":3987717,"id":"Q3987717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb18e16b906add7e9ce5171593468290a4570df9","datavalue":{"value":{"amount":"+0.7218902111053467","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":"Q4359675$C8CC7E7D-75C0-4CC5-BDFD-4914E1293B89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4359675","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4359675"}}}}}