{"entities":{"Q3042444":{"pageid":3053160,"ns":120,"title":"Item:Q3042444","lastrevid":45328750,"modified":"2025-12-05T15:23:00Z","type":"item","id":"Q3042444","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3837407"}},"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":"Q3042444$71C63E8E-7F78-45C9-9FDB-F62DCC54CB29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62a1e9f9616edd11088d5f44ed739bda31b174dc","datavalue":{"value":"0527.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3042444$0B786764-F984-4C7A-803E-F981272FD388","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd65e421cdf5089f62a705995b7921eb32b8441","datavalue":{"value":{"entity-type":"item","numeric-id":610395,"id":"Q610395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3042444$57BD4362-9A59-49C2-8C5A-D4D80540C80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bf8e0a1d6097cb2f9e59b0a8db1af8f459f9de5","datavalue":{"value":{"entity-type":"item","numeric-id":1183596,"id":"Q1183596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3042444$D75C9874-8EF7-4E84-967F-23F22BD7DF08","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":"Q3042444$51675DCD-58CF-4A77-8D9D-DD1117C79280","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3042444$AED7CA0F-4724-4DF6-ADEC-90D3C16A2B10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4bdd69871468cd138f9c38b37ba4c7438de9d06","datavalue":{"value":"3837407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3042444$FAA0610C-F2FD-4948-A755-93DD97AD0DCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14b49bd354aa6e53e9933d77994267e3e9b8f9fa","datavalue":{"value":"extension to the Edinburgh LCF interactive theorem-proving system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3042444$5037376A-0826-4A4D-9AF2-1B1F4E5E6356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ac52ba5fbfea503a5169a1bf75445d6498e920","datavalue":{"value":"renaming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3042444$8D133524-A28E-4F25-A162-CC879FE2FD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3042444$FEA1C3A5-925B-4027-8A00-D78F108C2D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fcf036926d5b2e917a57befb07cf02da977312f","datavalue":{"value":"parameterised theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3042444$2385D5C5-0E12-4627-8FF6-FFACC50D901B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7207be8acb679ce5841006514c2a6e109710521f","datavalue":{"value":"theory-building operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3042444$74018297-1C0C-4506-A354-1DAC144680DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00d8151171a2d6e9e20ec68740cc0963012f3e27","datavalue":{"value":"primitive theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3042444$66B4244D-9850-4C18-BD60-8131E3879EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa28271da9432ac7d1284c4bafca91b30e504b9b","datavalue":{"value":"structured theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3042444$C568415A-E529-45A3-82C3-E6DA6C77A888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8dd6f72b6e37f516ab19dab622a9ef3ff637e21","datavalue":{"value":"theory construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3042444$A7CF5E08-C6B5-4413-A965-B653F11A1489","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":"Q3042444$E7C27C4F-DDEB-4911-9588-49CE1AA060EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3042444","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3042444"}}}}}