{"entities":{"Q3444707":{"pageid":5157012,"ns":120,"title":"Item:Q3444707","lastrevid":80485526,"modified":"2026-05-06T16:18:30Z","type":"item","id":"Q3444707","labels":{"en":{"language":"en","value":"Mathematical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5161400"}},"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":"Q3444707$85DDD8FF-126C-4B1A-A472-A9EB8E87AFE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65a5bb07138f92107f4e13379e660b45de42beb9","datavalue":{"value":"1121.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444707$D47442F3-3365-4AF5-B4DA-D6A3A48B15C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15b85060f261bcdcca7ccb0feac14e776681f7d6","datavalue":{"value":{"entity-type":"item","numeric-id":190274,"id":"Q190274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3444707$79B96B1A-4A0B-4CC7-9ADF-E00983BE6433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c272614a5efcdb37db24a9d3d47ba6a93f9e7ce","datavalue":{"value":{"entity-type":"item","numeric-id":1216682,"id":"Q1216682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3444707$38505D20-915B-4CE0-BFCB-AD1BEFAFA57D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36245292ed3f481a9afbac2e0b7b7fcb988329ca","datavalue":{"value":{"time":"+2007-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3444707$124514F1-B0BA-4D60-B392-4EB7B4EF567D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444707$375AD78C-3698-480D-AA2B-B1FF800A8C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444707$AB68E38E-1CDF-413D-86B8-44C6AFA9C817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444707$291C9A29-6B68-48A4-9650-6E071781DB1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"465a8886d1de243e996049c573ffd8228eb120fa","datavalue":{"value":"5161400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444707$D4144666-DE9E-4736-A69D-0EAD397F50E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3444707$45F21709-2378-4038-93C4-4D2FBD427E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3444707$5BF5C3C9-2E92-4F2B-9DEF-D6645E1D5506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3444707$29DC2B09-D71A-4DE3-BB4C-95A8FC94E0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f555e331aa89e2c854c2d6134f78bfbd6233aa7","datavalue":{"value":"logic for mathematicians","type":"string"},"datatype":"string"},"type":"statement","id":"Q3444707$02A72528-8EEA-4116-8EAE-08F67514E4D0","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":"Q3444707$89231FD7-9237-4EC8-B710-A6EF542B41A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f39a56e03732b4946c9b2c2f09777d208c44b60","datavalue":{"value":{"entity-type":"item","numeric-id":4239317,"id":"Q4239317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09dea29488e145b5ff9d67c2bbe0749b93e226c5","datavalue":{"value":{"amount":"+0.870659589767456","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":"Q3444707$991E6957-D4ED-4D0A-A26C-09D74C5ACBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e87cd709aedb8a33a961bc58aa05a93fbef22d2a","datavalue":{"value":{"entity-type":"item","numeric-id":5240881,"id":"Q5240881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09dea29488e145b5ff9d67c2bbe0749b93e226c5","datavalue":{"value":{"amount":"+0.870659589767456","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":"Q3444707$D4C075EF-A0FB-4142-B881-361DB7329F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff624eb039ce9484e8d4dbbbe24c016411c82f30","datavalue":{"value":{"entity-type":"item","numeric-id":3092751,"id":"Q3092751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afdbbd562afc61ab15c423715b6433d1594cbed9","datavalue":{"value":{"amount":"+0.8479887247085571","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":"Q3444707$A59E92EB-696A-4311-99A6-B2E6F7F09D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb8d549a04857835a019f4b4a8bcbb8ab44252d7","datavalue":{"value":{"entity-type":"item","numeric-id":3516027,"id":"Q3516027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c61cc51ed7450dae629d76c9dacfc0a5f5775e","datavalue":{"value":{"amount":"+0.8425686955451965","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":"Q3444707$8977D294-6D7F-478F-B289-352D1C94A530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93724a8dcfd74b67b3eed65dd1797e8f8f3ae89b","datavalue":{"value":{"entity-type":"item","numeric-id":4039934,"id":"Q4039934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd11c3fbde058b94a2743de9a2df1a8a98f54ff","datavalue":{"value":{"amount":"+0.8397062420845032","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":"Q3444707$7C579ABF-94E8-4ED7-B3AC-9BC8BC545F4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_logic"}}}}}