{"entities":{"Q4530621":{"pageid":6560213,"ns":120,"title":"Item:Q4530621","lastrevid":47922262,"modified":"2026-01-03T02:29:28Z","type":"item","id":"Q4530621","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1749009"}},"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":"Q4530621$27747840-5BCA-476E-9C68-25208649194E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c46fc2445b005dd0cff6d0051cb393a8cfcb5b02","datavalue":{"value":"1003.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530621$489CB68E-273B-459F-8F3F-D8FAA8654797","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b45d72ed2ba2486377818ff4f18636ea6d5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":549723,"id":"Q549723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530621$30E83272-0A96-4ECE-856F-4AB5A5527515","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daf47d982dc5d6c17963b04b1831bcbd7890bc7c","datavalue":{"value":{"time":"+2002-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":"Q4530621$3B04402A-2E09-4E00-8409-96742C543D5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530621$4CECDC33-B2EF-4CF0-B140-8FCACEC06282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530621$7D086D88-C7BC-4C32-BC9B-CBD51FC36563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530621$E6578DCE-677F-4946-B93C-AEA0A81BE650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530621$A36263BC-85D5-4C54-8CA8-8B861DA7458D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530621$1175A1A8-3479-4510-805E-08424B0B7F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530621$AC741620-55B0-4EC4-8A95-003753082008","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"006b697dc425110cd9ff2866b97f6ff6597139f7","datavalue":{"value":"1749009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530621$4E3B83F8-1065-4C68-9CA3-723D5571F62C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75628edfe18d9271975b72a8a7ded77f899517f2","datavalue":{"value":"nonclassical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530621$A1980A9C-30AA-4884-B36D-84E6DA3EF959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0cac515cdca1fd8e8a7b1987157f7cb9f1e116","datavalue":{"value":"labelled deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530621$01128C39-EB4B-4E50-8ED2-BC5F8A3F0EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4465452c3110ee2e681434c22fc285b121ce577","datavalue":{"value":"labelling algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530621$73107C7D-4D31-496C-B96F-EC3662EC8378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1843d20458b3d11bf514367309acaa0687ab63a7","datavalue":{"value":"labelled natural deduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530621$71BAD136-01C0-499C-AA6D-E76EE74EB8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530621$4C557F2E-C2F3-4FD2-9B9E-106C8918DB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530621$339E4F5E-2990-43AF-80DE-B71B99BFC92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530621$C4D19433-C416-468B-9CAB-ACF19D6BE38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21facd519c62c60ccde7ee7ecf19c6fc57bbac0f","datavalue":{"value":"relational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530621$A884CE74-DFDC-4FC7-851A-F15B362274F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530621$A739731D-4552-4FB4-8386-41D6C25DB683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e8fc0b01612eddcfd6f9b9fc3e89e835c63ce43","datavalue":{"value":"minimal metalogic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530621$D47D1E14-2E39-4CD1-B345-6A486E7FAD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530621$7BDFDCD8-D3A6-4578-8698-344942730A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb635acb67e090510301920eb1d2cd425a0109d8","datavalue":{"value":"interactive proof development","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530621$9D65D7C7-7538-40EE-A63B-0F183907F2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530621$24CE9B92-A342-440B-B0C2-2AA553EC8AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530621$9C9B0B57-949F-426C-AAC7-6230D1ADE61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f97fa0e1141ea1de657ddc03304063dd95793597","datavalue":{"value":"modal sequent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530621$40EDF1C3-6359-47F0-B844-4900665C5D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530621$027B6827-3135-42B4-B32C-5157EAA940E7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530621$50DB3FCB-74A2-424A-89CD-ACC8A84E7383","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":"Q4530621$D5F0F57F-D909-4113-B6A0-65A2A2AD87A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490635eea00a529d2308f724680db1f19cfda3ce","datavalue":{"value":{"entity-type":"item","numeric-id":4381865,"id":"Q4381865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63880e8b4695a50a4a4fbc809a8bbfc70c03c357","datavalue":{"value":{"amount":"+0.8548218011856079","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":"Q4530621$FF637E16-7617-4A1A-806C-5E7268D4803C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0243f4d23771544088dce9ece1c4730ffdede91","datavalue":{"value":{"entity-type":"item","numeric-id":1577342,"id":"Q1577342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d4ad41706054a44d4fae02c7008c9e6519b19f4","datavalue":{"value":{"amount":"+0.8386406302452087","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":"Q4530621$B68A8D7E-248B-4D19-9281-C1E77D929693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670e534e0734308496cf4891636d157d96384dc8","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737c9182bf8c8dae0d947e36464acfa2880e5762","datavalue":{"value":{"amount":"+0.8372973203659058","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":"Q4530621$8C2C9D47-7401-4780-811A-F6FFDC932962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c73d711422d6c23d53075714f0de54c1fda117a","datavalue":{"value":{"entity-type":"item","numeric-id":5457385,"id":"Q5457385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5429ebf43846df8ce42b95bf3b66ea8584b6ccdd","datavalue":{"value":{"amount":"+0.8337452411651611","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":"Q4530621$D576237D-8B3D-4AC4-97E3-D437949068E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abadd548e0e09a13bacb9495e5d0d22f68c79bc3","datavalue":{"value":{"entity-type":"item","numeric-id":2782480,"id":"Q2782480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af0eea292a0d905c40400da025c0480ce200801","datavalue":{"value":{"amount":"+0.8191246390342712","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":"Q4530621$DB785739-EA08-4DF5-ABE3-772B7E6B2B66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4530621","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4530621"}}}}}