{"entities":{"Q4325974":{"pageid":6355575,"ns":120,"title":"Item:Q4325974","lastrevid":40798496,"modified":"2025-04-04T18:13:02Z","type":"item","id":"Q4325974","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 733666"}},"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":"Q4325974$E9283A71-EC2F-4D6F-8D66-A3CF3574059A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"865e4caefd0dc7195de6a27ad39680f21102a16a","datavalue":{"value":"0819.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325974$657191A2-EDE6-4C8F-993D-847E3194847F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"486d099545b5d657b05fa44bcf3d0c8a1580d678","datavalue":{"value":{"entity-type":"item","numeric-id":476170,"id":"Q476170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4325974$0186AA56-1DBE-4CA9-8ED0-FDA118585484","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb1d1dfe6cc16f32e4f49bacc00fd51eee453699","datavalue":{"value":{"time":"+1995-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4325974$070E85D8-229D-4A70-973E-D62F41A6BD61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325974$50F895CB-C089-45A6-B23C-582FC2E39EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325974$7AF2C698-920E-419C-BFFE-D8D0FD680381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325974$0648F1C1-0A8F-4AAD-A0E3-0806247D9FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325974$98FF6795-C28E-4004-B4F0-7E3A1B085EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325974$33B7A1B0-0DB2-4D12-9AC3-B1050F4A48E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325974$6FE9A251-A3B3-43BE-BCF5-2DFCFE9C8705","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fcbfa673ffdda2e8f1a4ad56aeed6a98b733199","datavalue":{"value":"733666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325974$469D2EC7-E9C3-4FC6-93E0-4CFA115A8525","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f9bc693291116a12d2c2c06e48a40bdee84ba8f","datavalue":{"value":"isomorphisms of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325974$D11324F8-D6F0-456E-9D1D-C2BB57F43210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323f6a63a9ff66856279db10fbd8d39f2ccf390c","datavalue":{"value":"typed lambda-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325974$8CA642C1-8801-4C51-A52E-A0A91ED5EC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3604872cd1c96e6c8dde657fdf1aa052bd30f77","datavalue":{"value":"information retrieval","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325974$7E30E77B-B5A4-4A4E-A319-D424C93A9C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f263efca6f2b9c9dd11d28bf51589a8c81dbd5","datavalue":{"value":"finite axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325974$BDA423DC-E7E9-4657-8BC5-04AA9AD522E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325974$DD236E31-B981-4378-ACFC-FAD431DB5A06","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4325974$24D8DCB7-82D9-42F4-A220-37DCAE27A026","rank":"normal"},{"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":"Q4325974$745DDCE1-6D5A-4100-9F87-93FAEB01D766","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":"Q4325974$96FAC11E-ED97-4737-B4C0-42A735AD604B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09368306c08877f9229e8b697750eab81dbcd98","datavalue":{"value":{"entity-type":"item","numeric-id":2498898,"id":"Q2498898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2799dbdd3ee0bdf24370f1d011094553f3d0a008","datavalue":{"value":{"amount":"+0.8955321","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":"Q4325974$85D0057C-3BB9-4317-B216-07C24C507102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"520fd340b048ca2c6da30fb6d9e47785740f428e","datavalue":{"value":{"entity-type":"item","numeric-id":6093581,"id":"Q6093581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4219d47946f625ac541919101dd019aac3822b54","datavalue":{"value":{"amount":"+0.88403827","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":"Q4325974$63734ABD-D7E0-470C-86CA-6C324334A226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea413672625755c9c9757f92329ae718555a8657","datavalue":{"value":{"entity-type":"item","numeric-id":3372685,"id":"Q3372685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c13c10edbc1f578e1473a51fa5d9691520d648","datavalue":{"value":{"amount":"+0.8839535","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":"Q4325974$F579FEB9-0231-4EBD-8375-54253B9D6E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f1cdae41b1cc3dbbb3fc4b776847b99a38e723","datavalue":{"value":{"entity-type":"item","numeric-id":2769425,"id":"Q2769425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20749bd3e19f3317390f9e484951ff406313a91a","datavalue":{"value":{"amount":"+0.8817426","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":"Q4325974$2EA8B9AB-1EE1-4555-8F99-42D5BD265236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfe247a46c36195a591396d3509b4048200c4faa","datavalue":{"value":{"entity-type":"item","numeric-id":2766804,"id":"Q2766804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dfc7b9e720bd324d80fc8599965fb7b8e771983","datavalue":{"value":{"amount":"+0.881108","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":"Q4325974$985658A6-7AA1-4196-8256-0A603D2A13BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58670239119ebcc87012c052b3b7ae67a9b5bf6a","datavalue":{"value":{"entity-type":"item","numeric-id":3372683,"id":"Q3372683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69588f1ef0699decdf1b201d45192dc12655ade0","datavalue":{"value":{"amount":"+0.8789736","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":"Q4325974$AF2E3E83-5103-451E-99EF-C7F293CD72B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfef524b5552cf6851b4929998ebb7eff7aaea33","datavalue":{"value":{"entity-type":"item","numeric-id":4281578,"id":"Q4281578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a7450c1ecbae3b2c7c0e74d6355e08816cb8da7","datavalue":{"value":{"amount":"+0.8724572","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":"Q4325974$47A91953-1569-4916-B6C8-09931303E251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ed0346a154036ab2b036f9f35ca138e1b834a75","datavalue":{"value":{"entity-type":"item","numeric-id":1814846,"id":"Q1814846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2949077077b822d8962aeabbe3639b4c0bfb2e4a","datavalue":{"value":{"amount":"+0.8681791","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":"Q4325974$B5780FC4-A113-45FA-80BD-8AEC9EB1B904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7bc6bc7524c42e30264621031df737b303646a","datavalue":{"value":{"entity-type":"item","numeric-id":2904625,"id":"Q2904625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2789645eb94461ffed9af24b347b2a028e4dad","datavalue":{"value":{"amount":"+0.86785835","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":"Q4325974$49DE331D-EA8B-4B08-A3C4-A9899B68998F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0d88f2d71c38cd4537b67c6d386dee1bd944c3","datavalue":{"value":{"entity-type":"item","numeric-id":5414956,"id":"Q5414956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a78de33d4d8a9c3e73931dd8beb3b3795ab43048","datavalue":{"value":{"amount":"+0.86720926","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":"Q4325974$38A80AB6-9924-41DB-AC08-8436846E406F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4325974","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4325974"}}}}}