{"entities":{"Q1245945":{"pageid":1256695,"ns":120,"title":"Item:Q1245945","lastrevid":67299804,"modified":"2026-04-12T16:41:45Z","type":"item","id":"Q1245945","labels":{"en":{"language":"en","value":"Deduction search in calculi of general type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3583788"}},"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":"Q1245945$A8922ABA-82FE-4453-97DD-E52D60BB97C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"062e3bd643391f3a1fe26a6bd83ad334754710fb","datavalue":{"value":{"text":"Deduction search in calculi of general type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1245945$0F45503C-E5F4-49DA-B15F-87E2D68330FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6500d1e8a087b4bb29c2ec21d1e2c607bd83a4ef","datavalue":{"value":"0375.02025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1245945$248B1111-9B08-4741-B005-7EB8D6A7D8C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0ea31725333d9f5c5e54cf9f3051f37c92d7054","datavalue":{"value":"10.1007/BF01084079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1245945$2E69A1F6-B970-42FE-BFA3-6DC3964DFE3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18eb4f341702d4d38503cab569946cc117de88eb","datavalue":{"value":{"entity-type":"item","numeric-id":599717,"id":"Q599717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245945$5128332B-95AE-49FA-8B67-6FEDFECF86D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"164101b92acd585ddf6ca53b10c2e6c3aab227fa","datavalue":{"value":{"entity-type":"item","numeric-id":351720,"id":"Q351720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245945$EAC8A410-3F92-4022-9968-52CEDCB89E46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q1245945$26D6CF59-B973-4662-B2FD-D5BEBE628BCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1245945$54720D9F-C6E5-49D5-B716-BE237A72A917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1245945$438EC598-3AC9-466F-AECF-878282BA3018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1245945$D6872206-ADAC-4069-A81F-D038FC9A839D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b44f09204a306608487656117b92a8816a892215","datavalue":{"value":"3583788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1245945$B8FCEC8C-D21B-4320-8C4C-EF7E2107E67B","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":"Q1245945$C94FE33C-9F20-415A-94DF-26B8A86CD04F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"808173e6e7e5811069255f0ed16b39e5bdf36953","datavalue":{"value":{"entity-type":"item","numeric-id":5843404,"id":"Q5843404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245945$334A171E-3B36-4079-982C-A5936EF1B25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f63602864ba0f92673863c4e08e8c412c43a5e","datavalue":{"value":{"entity-type":"item","numeric-id":5845381,"id":"Q5845381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245945$A48485C0-715A-42B3-A98D-D0B4749864E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245945$0F3D8723-CB09-4D7C-A192-742527174B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0dd8f8517af3bfb30cb74ae8d68c97c0014f1a","datavalue":{"value":{"entity-type":"item","numeric-id":5581594,"id":"Q5581594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245945$976D6CB9-03EB-406C-A788-75C041D8C22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b94d28124e7eea9fe95dd90e140677f5d9a2ebc","datavalue":{"value":{"entity-type":"item","numeric-id":3268309,"id":"Q3268309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245945$CBECAD4B-9463-475B-9E3E-CAD814C05931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cceee8a5fb32e6eb7443356542ae558c36b13a21","datavalue":{"value":{"entity-type":"item","numeric-id":5672214,"id":"Q5672214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245945$FEEBC5C9-1DF8-49DF-B4CE-DA7AD4C399BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c72cebeb12c8828e32115562c3aa58578a078cb","datavalue":{"value":"https://doi.org/10.1007/bf01084079","type":"string"},"datatype":"url"},"type":"statement","id":"Q1245945$F7E32DD9-9B2E-4105-B8BF-43730EFCA8EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80f7d117fa53d095c80c1efb7c8579bbaed124c9","datavalue":{"value":"W2047691551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1245945$BDC7B511-A27D-45C9-810A-229BA4B8CC58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deduction search in calculi of general type","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deduction_search_in_calculi_of_general_type"}}}}}