{"entities":{"Q3673088":{"pageid":5702994,"ns":120,"title":"Item:Q3673088","lastrevid":49981807,"modified":"2026-01-12T11:18:13Z","type":"item","id":"Q3673088","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3827188"}},"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":"Q3673088$EF29CC88-5B47-4A92-89B3-AAA4A20012A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f381adf11b1d00c38aedf2e2d385e4df59d74c8","datavalue":{"value":"0522.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673088$4502FE73-5352-4F48-99E2-F396FFADA740","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6b4c8e5a626f90825fb5c9b57becb6ed89457ac","datavalue":{"value":{"entity-type":"item","numeric-id":1095654,"id":"Q1095654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3673088$4175D3C7-7587-4FED-8CFC-E2C6B035B552","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3673088$00BE0612-9193-4689-841E-339466FC5B9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673088$32CB71A2-F516-4696-BB7E-5C119833A7A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a37b2a28d9ecfe5fe0d73e1c7801876b29252e6","datavalue":{"value":"3827188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3673088$55ED2D80-F3A6-4920-910E-D5A3D21D6FD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24d5239cef6309157e7eb191ba938b253f408baf","datavalue":{"value":"formalized many-sorted theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673088$0CCE7E0D-7AFC-4518-9C51-0D42C5EC84D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfdd94c612205dadc0f59b11a330fcd3cc430463","datavalue":{"value":"algorithmic languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673088$AEBD685E-8DDD-4194-AE9B-BBE95DFF5F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbb07e7309c6421b51e70b25fd15d17b72c40ca9","datavalue":{"value":"interpretability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673088$79DC70FF-9AD2-44EA-9780-72A06F68EF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01c2e9fca6f8eae5967e213326fb0359ea050d0","datavalue":{"value":"logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673088$EB683E0C-F44E-4AFC-806D-D2477DFC8A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ae0d72e2f70fe6776d3f5b4dff7d517e1b2b96","datavalue":{"value":"formalized algorithmic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673088$D20DC94D-8C0D-475B-9AC1-44C22496F502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3673088$EE4D1516-DCAE-49B3-A180-DA40213CBAD4","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":"Q3673088$4DFFEE52-1E1B-44D2-A8B5-29837FEC6BC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3673088","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3673088"}}}}}