{"entities":{"Q3705448":{"pageid":5735354,"ns":120,"title":"Item:Q3705448","lastrevid":50503895,"modified":"2026-01-14T05:44:22Z","type":"item","id":"Q3705448","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3931003"}},"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":"Q3705448$7BD4E875-BE8D-43D9-BF21-80BDDACC2725","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c4d0cb38f5d5c30cedc35febf7bd3f305bfd552","datavalue":{"value":"0582.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3705448$FDECFB54-AFA3-4CA7-B488-24D80E6D0DFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92b0d18ee30834c88061b1fd6e3acb7589817558","datavalue":{"value":{"entity-type":"item","numeric-id":2531280,"id":"Q2531280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3705448$60FD0EF1-666F-4223-9F4D-A8209B637EE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3705448$9E550404-C21C-4145-A200-EC68DB089C1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3705448$841FDD90-D0C7-4C62-9F5B-2384A3805E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3705448$52177905-7532-4834-8CAA-E3D86FC2E4CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52c7bf2e6f6efdbb09e1bbfe063d28bc41af82c6","datavalue":{"value":"3931003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3705448$1D58DAEE-7D3C-4918-934B-49323B081A60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f6ec5d8bf3a0a730128849faa30e1a7e727164b","datavalue":{"value":"syntactical objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q3705448$5621A175-3ECB-4354-AE02-5CD61E76C388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de6966b250669432ec59049efb1aed4a76fe5e53","datavalue":{"value":"formal derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3705448$3142629D-58FB-4668-8337-F5F652A747AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"790cc4d9f205303344573617c9f3355982e1350e","datavalue":{"value":"ZFC set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3705448$69142CB8-0536-457B-A613-B13FD8DE4488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24938459dbf20196734dcf6c3a35c8a8724abee","datavalue":{"value":"trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3705448$0660B4E3-11CE-489C-BFD1-13426EAB9F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c55aaa92cb4d7883b510c8490c97c8b2db3cdf84","datavalue":{"value":"orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3705448$D71137A7-35F4-454F-986B-4E16F78F92EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b60f31bcc47321f3548095c7ed15b8a93ad79a4","datavalue":{"value":"Boolean values","type":"string"},"datatype":"string"},"type":"statement","id":"Q3705448$7B0FD20C-6B27-4E14-9249-ED962F5C45D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5ed3f5f8814191cb49fc65690b9433cbfe39bc1","datavalue":{"value":"Gentzen-type derivation calculus for ZFC","type":"string"},"datatype":"string"},"type":"statement","id":"Q3705448$F505334F-9EDA-4A52-9B69-5C3E2A47A453","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":"Q3705448$6BFB677A-300E-415B-9C24-E3D8F040AAD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d666a24fd79cf133677a0363bb548e9d6a15bfa1","datavalue":{"value":{"entity-type":"item","numeric-id":2282614,"id":"Q2282614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2987b5d2f9e072474ac73aefc3c2696266a67c3c","datavalue":{"value":{"amount":"+0.7039526104927063","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":"Q3705448$29B17AE8-0356-4461-8ED0-1FCACD155ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95caa88cc8e4fe74c4bfc7fcc3e46284f92ba97d","datavalue":{"value":{"entity-type":"item","numeric-id":1209798,"id":"Q1209798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a95b5f50b17f9ab5d976b2fac31e109bfa0875b2","datavalue":{"value":{"amount":"+0.6958683729171753","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":"Q3705448$B4A21936-89A0-461F-9A08-E47C5F6264B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d04dfad32edb259fb54af02d8c8985b1b4a0a2d","datavalue":{"value":{"entity-type":"item","numeric-id":3138862,"id":"Q3138862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be30666211a0589af237dc0559dd79897dc437f6","datavalue":{"value":{"amount":"+0.6779372692108154","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":"Q3705448$AB7CCD60-0344-47AD-A379-124897C30178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f37120eab736a1f82e40f0298491ad008d55a6f","datavalue":{"value":{"entity-type":"item","numeric-id":3066779,"id":"Q3066779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44173b61f79fac9d6bed63bbb8abb626d0d7382e","datavalue":{"value":{"amount":"+0.6708833575248718","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":"Q3705448$F4EB92D5-454F-4457-8256-B9E180A21EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6089e8c662be65fafda834aa097fd07a7aea1683","datavalue":{"value":{"entity-type":"item","numeric-id":5013599,"id":"Q5013599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ac76071c958e33e6c2b742abe186be21a7f9e6","datavalue":{"value":{"amount":"+0.6705961227416992","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":"Q3705448$338FA10F-015D-4C46-BF9F-981424E7E288","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3705448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3705448"}}}}}