{"entities":{"Q4520768":{"pageid":6550361,"ns":120,"title":"Item:Q4520768","lastrevid":47548093,"modified":"2026-01-02T01:22:32Z","type":"item","id":"Q4520768","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1543301"}},"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":"Q4520768$FAF5AFD4-AA16-4DB9-B337-812D4B311597","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ce2beb3efd715b6b1ac1bcb13bad6d34c899029","datavalue":{"value":"0961.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520768$BA8EE693-86B1-4FE8-927B-2169336E1979","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5895b753a2581412a8b72570b484e8af47e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":229738,"id":"Q229738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520768$A6F5E205-5B38-4342-977F-6310C4629CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2d00c1197e57bdc49c1c8779be1049cb4d10dbd","datavalue":{"value":{"entity-type":"item","numeric-id":877896,"id":"Q877896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520768$7535DA2B-C252-409C-B720-114B6D3128AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d02d8cc00f12eca67af7a2b878da9d104452f1b","datavalue":{"value":{"time":"+2001-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4520768$FC2ACF6A-78FF-43C0-BEB6-B4D7F1A7F77C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"595e8c2ca235a6daef43f7b962b3a1e75daeda8d","datavalue":{"value":"http://www.jucs.org/jucs_5_3/connection_based_theorem_proving","type":"string"},"datatype":"url"},"type":"statement","id":"Q4520768$E56AC58B-6C3D-4411-8EB6-3994A20CB93B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520768$31066703-41F1-435E-ABE2-F7126B9FD576","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74e13c2624061636ae935cd2ff1c410c45f2802b","datavalue":{"value":"1543301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520768$3563A6A1-1080-40E9-B6A8-0A0E4418FD9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520768$CD6E0AAD-DEAD-455A-BF30-0A551F93F693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520768$A0733718-14F2-4C3C-AA8A-F8FD1A946480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520768$BCBA5568-3718-4A84-9405-55A13B2F7D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520768$BF4E620B-5440-4BB1-8930-1DD5D055062D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520768$0DB414DB-B883-43C7-8153-3D71F7836896","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520768$E1562F90-7D8A-43BC-99F1-B604B9D94AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520768$9C5582D8-23CF-4C22-A114-B9335E930F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520768$9C7F3113-CC71-4FF3-B8E3-D5524FC7BE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9c5e0741386db5544b604ac150c771bd2ac0b3f","datavalue":{"value":{"entity-type":"item","numeric-id":24297,"id":"Q24297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520768$3714717E-A7AD-4C71-80D7-4EDC1F94D417","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":"Q4520768$6A1B6D1C-6B62-4604-B572-7A619C6DA3D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d171749b95c3772aae8ba8502515039aa10c706","datavalue":{"value":{"entity-type":"item","numeric-id":3999539,"id":"Q3999539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e849393213663bfd2a29c5a0637548baf5c01b6a","datavalue":{"value":{"amount":"+0.8219279050827026","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":"Q4520768$7660018B-D949-4893-B4DE-81E178538F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba46022a2fc7e2be01305fa0448f1742e31bcf2","datavalue":{"value":{"entity-type":"item","numeric-id":1181711,"id":"Q1181711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3dfcceb957c8e5014725ad85f6120f3663334aa","datavalue":{"value":{"amount":"+0.8215715885162354","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":"Q4520768$11233FDB-3FC9-4665-8157-E36D95E4DB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd70246e4539b9380631f2a774ec2a7aaefaa41","datavalue":{"value":{"entity-type":"item","numeric-id":5234702,"id":"Q5234702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af4351a63847e31baa046e877e0e592ac712cf54","datavalue":{"value":{"amount":"+0.8203427195549011","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":"Q4520768$95BD3B6F-ED4E-4ACB-B4A8-54889EAECE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9bf28b6c9ac6d6df6c52bc9f25a1453544aed6d","datavalue":{"value":{"entity-type":"item","numeric-id":1694466,"id":"Q1694466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f8a25c0a7ab3b71395794e63411fae3ceb4ae2","datavalue":{"value":{"amount":"+0.8049424886703491","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":"Q4520768$E78DBFDE-9EEB-4613-BB67-A366F1D2E33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61bd3300c7dc67e2bc56e6bd1256442b32e9f142","datavalue":{"value":{"entity-type":"item","numeric-id":4645244,"id":"Q4645244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f79cb3fcde0daee637e6b2412a09c4ecb8d736ed","datavalue":{"value":{"amount":"+0.7850638628005981","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":"Q4520768$EDBE8DC1-2155-4239-8F68-790CB794DEB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4520768","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4520768"}}}}}