{"entities":{"Q4250064":{"pageid":6279665,"ns":120,"title":"Item:Q4250064","lastrevid":46831083,"modified":"2025-12-25T16:36:54Z","type":"item","id":"Q4250064","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303453"}},"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":"Q4250064$71C86D01-1B94-42EA-B98D-A229C2F1A819","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da1243ab167067a3a6ec8c5109998ce8d4a7aee7","datavalue":{"value":"0927.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250064$D2C368C2-FE14-4069-9AF5-79B3154C6A9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6058975aebcb06f50e61b28c434fa7404d9c6466","datavalue":{"value":{"time":"+1999-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4250064$34ACCC25-24C4-4434-B8D5-047524FAC1D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250064$1A0A064F-F476-40FD-88A4-B86731C89637","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"943dabe909a2747181f699f014f3ab7f264ac4f8","datavalue":{"value":"1303453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250064$A793E252-E370-4C4A-96AC-1292CEB8CC64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"769e65665f6527a1b56527f7ff6f4f70bf4a4f9c","datavalue":{"value":"logics of schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250064$11E834EB-DDAD-43BA-85A8-73208B9C59CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88e2089343173c22cb27ff6b7f76c7d536da3da6","datavalue":{"value":"poly-modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250064$BDF3637F-6512-48F6-900C-CAEB7E08965C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d7e8a9c2fef410a0ec0f47c6e1f03bb0f97bc1","datavalue":{"value":"first-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250064$7E8D9101-9215-409D-B6CC-EB346D54AF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be038e32d8bc0e0955cf527269bf3aae9740a1e","datavalue":{"value":"algorithm for recognizing the admissibility of inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250064$51D1833C-4CD2-4E09-B98A-F4E89DFCC004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1259d429e68f174208d84de505f72a7acc03e42","datavalue":{"value":"decidable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250064$642FF265-08DD-485A-82C1-FF3AF40B1902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6ea0c91be2f90c8f3d136b13fd7621bc4354863","datavalue":{"value":"finitely axiomatizable first-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250064$A36DE388-69D6-4254-929A-C6138CC7EFB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250064$335BCFDE-12EF-46EE-BC9D-E85C0BBC9270","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":"Q4250064$9611D8F3-36DD-4ADF-8A3D-DC7635CC61E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c717fc0df747cd9dc4cfbf0858923847fa416fd","datavalue":{"value":{"entity-type":"item","numeric-id":4394919,"id":"Q4394919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aefab1295fe163bc670aa8b4136cb6cd78f721e","datavalue":{"value":{"amount":"+0.9566089510917664","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":"Q4250064$414B12E0-4EC7-4462-A696-CE4E7C9801B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f1bdb7102a1ad9137b5f7c9b378d1d36d61619","datavalue":{"value":{"entity-type":"item","numeric-id":4376080,"id":"Q4376080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a80d37afc13acb9cd148f1c51047714386ac276","datavalue":{"value":{"amount":"+0.7841764092445374","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":"Q4250064$FE4960AC-09F4-4A06-9EC6-DD80B61B3BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9938aea63beadaee8d43673745b5abff62807429","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"636974e283139529f26e7b50fd9c9b942837ed40","datavalue":{"value":{"amount":"+0.7676927447319031","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":"Q4250064$98FBD881-5F72-4BD6-9A4E-2742F171D617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a0a699f84b7cbe5fa81d82a08f54cc222cd288","datavalue":{"value":{"entity-type":"item","numeric-id":1064315,"id":"Q1064315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4940b1129049485a4de9d5358510096f7564c41","datavalue":{"value":{"amount":"+0.7561787366867065","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":"Q4250064$E96065D0-3D16-41BA-92AB-27BD9D47D7B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4250064","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4250064"}}}}}