{"entities":{"Q4281258":{"pageid":6310859,"ns":120,"title":"Item:Q4281258","lastrevid":39823492,"modified":"2025-01-27T17:55:50Z","type":"item","id":"Q4281258","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 510785"}},"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":"Q4281258$32B735E0-95FB-49BA-B998-918578B251D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12c179361def492d3277a31e47c171ba24a51592","datavalue":{"value":"0796.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281258$5E1ED740-4816-4E5F-A64C-2D6A1C0AB6A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a07e8af38f76d1e005ebe63136b3f3c24a5ff2b8","datavalue":{"value":{"time":"+1994-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4281258$7F2F1EC7-DF6B-4909-B548-2820694770F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281258$E090F5F4-5B36-47CB-A831-86017A434FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281258$5C656829-5715-40CC-8258-4BBCE9F64724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281258$1CEC94BB-C508-48C5-8628-A474BD0F0BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281258$D21E4BF2-E1D7-4A28-9A2B-676D53DCDC39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"900c0a50cd16f0bc054ea55070f53a3f70d39d02","datavalue":{"value":"510785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281258$BB8E0991-ADFB-4E53-91F8-4E10185F03D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4908130fad200c533896629f09c6eb4da5e3c07","datavalue":{"value":"Gentzen systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281258$BC44057A-A3CF-4AE8-91AA-4EAC756A273C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527def781fe17e70652b5ba1af79e59518042825","datavalue":{"value":"quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281258$FD64D781-E176-4E47-B66E-333FEFEAF915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281258$FA1B8180-4CC9-4937-A598-45BF57137AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cee31b109bfd0275ef9410b844f3bfc242cf31","datavalue":{"value":"first-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281258$8B1022F6-4472-49C8-B00F-F5D8D132E8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7dd61fa2f06840a90c5c68aaec7824aab8a7f5b","datavalue":{"value":"clause normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281258$20939A4D-B6BA-40B2-9C62-AAEC557EEB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a14647a021d250427faa255f602975f365544ae7","datavalue":{"value":"hyperresolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281258$9AEF6DC6-FC93-4E89-904B-D75E73E6B1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9173e55e4fe9b810a152062e7573d804acbb15a4","datavalue":{"value":"quantified nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281258$C1B5BF99-44E9-4533-8ABF-6E617E926178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281258$53451466-AAFD-43A2-90A7-E6FA86D41293","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4281258$AF00FA88-0EC2-4A15-9166-69A47C05E0BF","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":"Q4281258$81260B8E-FC93-44BF-A729-B3B72C117734","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54821d0c308119635f722a0f5763584c2b30e7a2","datavalue":{"value":{"entity-type":"item","numeric-id":3972527,"id":"Q3972527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed1c116758e317f05e7444da4985baf8e619e54","datavalue":{"value":{"amount":"+0.8954128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4281258$3D873CB2-E421-4016-B989-8C410CF8BB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226ca6b8563252dc602290f45d5a3188fbacf2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d7915b847618a4b2b172a092ebc69581d31b2b","datavalue":{"value":{"amount":"+0.8759758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4281258$ACD73403-B823-49A1-9E2F-BC699AE5BA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966a31c801e93ceb344544bd9134806de981b021","datavalue":{"value":{"entity-type":"item","numeric-id":4798640,"id":"Q4798640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e9924b991bf53ccf0146e62002ba9886dae484","datavalue":{"value":{"amount":"+0.8707482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4281258$C392A1F0-A733-406E-99AC-27D33E0107C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c080708c3bbeeffbe569dfaf09fc9efb27ce99","datavalue":{"value":{"entity-type":"item","numeric-id":4312461,"id":"Q4312461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e37f3debc6c78f46d4b621c473529f554e6adaf","datavalue":{"value":{"amount":"+0.85673255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4281258$A852C9FA-8BBD-4341-A28B-FE6A11FC68D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34a816d843ad636333971f696c91c7c1a4e5429","datavalue":{"value":{"entity-type":"item","numeric-id":1118577,"id":"Q1118577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07cad65e5cbfea97692c6bda59f41f8bf4af0d51","datavalue":{"value":{"amount":"+0.8522396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4281258$BE725C05-2864-4DAE-9841-3BA21E644091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70b27982594c8969ca35500a956678f7c689741","datavalue":{"value":{"entity-type":"item","numeric-id":5688802,"id":"Q5688802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b89180112f129df17dfefb34345fc578d8b6b7","datavalue":{"value":{"amount":"+0.84289277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4281258$68049E7A-FAEA-49A5-BDFF-653D6EA4CC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e349ead2c8723fc6d85a2ed0948a2af5ddefb804","datavalue":{"value":{"entity-type":"item","numeric-id":3768868,"id":"Q3768868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4454a9aed0c673f6496153b55983814e6281e0a","datavalue":{"value":{"amount":"+0.8379835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4281258$CC25E3AA-0314-432D-8296-3794AA912387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c378675ffe377bc56267cf1f2a84bd5babfc8658","datavalue":{"value":{"entity-type":"item","numeric-id":4647550,"id":"Q4647550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45601f4256c9850cc0d6ab948a5386d65982ca1a","datavalue":{"value":{"amount":"+0.83366674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4281258$7FC101F3-2975-4854-9D48-73974EA57A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e550364eced27e5c679bf63a38fa3b5f2670256f","datavalue":{"value":{"entity-type":"item","numeric-id":1113888,"id":"Q1113888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf0532d9b1cbe6d3eac9b5aa6f0f88088371387b","datavalue":{"value":{"amount":"+0.83265966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4281258$593A284A-A6D1-4F69-AF08-48FC3953C969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"878c40185ef8793f4b2c6b23e206ffdc354f49d1","datavalue":{"value":{"entity-type":"item","numeric-id":3030268,"id":"Q3030268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db36357d54d0599d6000d7e1fa60a7f1b103aa67","datavalue":{"value":{"amount":"+0.831388","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4281258$FA8AD76B-461A-4B64-86B4-4E85532271FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4281258","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4281258"}}}}}