{"entities":{"Q3197805":{"pageid":3208513,"ns":120,"title":"Item:Q3197805","lastrevid":49432057,"modified":"2026-01-07T03:46:21Z","type":"item","id":"Q3197805","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4172946"}},"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":"Q3197805$4C4B18D2-9429-4BC5-96B7-4D4787C434AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5aa0f943755043f984a14cc105a04cbeddc695a5","datavalue":{"value":"0713.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3197805$9C988301-6E9B-4B03-AF40-F2511EF39BCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3197805$2422E158-0398-4A38-AED8-5905C87F359F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3197805$5398E19E-423A-4CCD-90AE-1B0658D15D36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f574bfbd361d6b72bd1ee28cc7efbb8acbff9f8","datavalue":{"value":"4172946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3197805$89E5DDCF-D267-469E-A73F-5635CEFF445E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3197805$CC765E58-B4B9-48E0-BE8D-01206FE233A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ab00d8c6d004f508ae7223b0711ed16c3c98cb","datavalue":{"value":"amalgamation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3197805$20EEE981-B716-4223-8A64-A3AFC76C5033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891e37dc884a3bde1695ecbbd68b4353699bb9ea","datavalue":{"value":"K4-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3197805$38CAC947-E312-464F-AC97-C8E355B3F8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de855ea8fd65a3e3409eb19aa5d66ba3dd450e6","datavalue":{"value":"Grzegorczyk logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3197805$05FEE0AD-5C2B-4756-B7ED-572D234FD9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf59e36da8adb23c76e2ca2fe7d606c2dba77397","datavalue":{"value":"interpolation property for derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3197805$0EE37910-3D61-4150-B3BD-72100330149A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a797c65dd907c92eac74ea955343571935d1aba","datavalue":{"value":"Craig interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3197805$102E5947-55A4-46DB-A8F1-22704AE070C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a8590c1a6f4023c5da54cffef02e98c8925605d","datavalue":{"value":"infinite-slice extension of K4","type":"string"},"datatype":"string"},"type":"statement","id":"Q3197805$C53C8482-E004-4C0F-9AA5-DE9C1598DF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cfe77d2576d39365d333ebcf3499e70342aa1de","datavalue":{"value":"logics of finite irreflexive n-ary trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3197805$C71F032E-662E-4079-91AC-C658BC44EFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44f54ec87017bd8954f777ccf85209c9c7306fbe","datavalue":{"value":"extensions of G\u00f6del-L\u00f6b logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3197805$A9251DE7-73E7-433C-9FE2-B60F635789CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456e115fd735516049457cdf14abfe2af983c86f","datavalue":{"value":"reflexive fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q3197805$EAFD6C45-B8E3-41C2-B2C1-4DD2FFC19E8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3197805$BB316D10-7A71-47A4-A66A-AA2ADE8FB0F4","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":"Q3197805$B7C1B539-472F-477A-92E4-F2927F400E3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6749999ffe8d23ae3ab977ab63170d4abe58e769","datavalue":{"value":{"entity-type":"item","numeric-id":3784045,"id":"Q3784045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd74c50fdde2c722fe97ff7c1bc3a0c540b1e8f","datavalue":{"value":{"amount":"+0.8450091481208801","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":"Q3197805$9A4E65EC-799A-4C88-B7A4-E8636BE8E333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2ccd60c5e23f000baf6e4682c97670f7decdb0","datavalue":{"value":{"entity-type":"item","numeric-id":3331199,"id":"Q3331199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91591c25b6fefe85f6eaf60314d452ae520a389","datavalue":{"value":{"amount":"+0.826931893825531","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":"Q3197805$25F88CCD-608B-4B83-83DB-947166E3B478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e8e04529b680736409ed9554b88abdbbc85f03f","datavalue":{"value":{"entity-type":"item","numeric-id":4430408,"id":"Q4430408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43495777e5f9d4531725ce9afa28f0dac05868d0","datavalue":{"value":{"amount":"+0.8119411468505859","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":"Q3197805$BEE6856E-00C2-4EA7-B5C0-987F27D28EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d36b5404b898fe62c53febb4672b0854595158c","datavalue":{"value":{"entity-type":"item","numeric-id":4729756,"id":"Q4729756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02e8bd9fa954d5163076927a259fab8adcbc9de6","datavalue":{"value":{"amount":"+0.8039007782936096","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":"Q3197805$64F6F13E-DB5A-4C99-8A4D-CABE7B49D99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc9397178310bd846682faa6c71be7192055c38f","datavalue":{"value":{"entity-type":"item","numeric-id":431659,"id":"Q431659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"113753494ba944bf0a83ccc66f173457f3e31d10","datavalue":{"value":{"amount":"+0.7994968891143799","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":"Q3197805$39BE5E39-07E2-4E71-B23E-C0FFCEBD5B1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3197805","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3197805"}}}}}