{"entities":{"Q3674088":{"pageid":5703994,"ns":120,"title":"Item:Q3674088","lastrevid":49994710,"modified":"2026-01-12T12:51:27Z","type":"item","id":"Q3674088","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3829296"}},"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":"Q3674088$DD2A8853-9039-4D65-AB82-FC119F254C34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c65739fb3129fabc21aed220b1105e4579f7ca1f","datavalue":{"value":"0523.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674088$66FDFA19-0979-4025-AB52-02AF5271F812","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5584b61080269b096f785173ffd49061cb7d63a9","datavalue":{"value":{"entity-type":"item","numeric-id":673133,"id":"Q673133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3674088$02EFB9AE-9821-4FB5-8A6E-AB370D985EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"423424ed34b7dac382d00344caf66effb4c7fafb","datavalue":{"value":{"entity-type":"item","numeric-id":199247,"id":"Q199247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3674088$795CAB46-C805-40A1-8C11-8D175A957E64","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":"Q3674088$FA6FCBD2-D120-4B9B-8E60-C6BDEDD089ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674088$B8DFF6D5-6506-493E-AE7B-4B11A402FA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674088$33C73373-7F36-4B58-991D-19AB8265497C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674088$A3A61994-74AA-4F94-8397-3EE3786B06C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674088$7B1A9635-4014-4413-A670-CC1F2787D7D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53ca456bd1590ebf2cf2168745a1c0ccdf549986","datavalue":{"value":"3829296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674088$1F47140F-7253-4E0B-B2D8-07AB20AD5B15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f88184bbef555176dfb71d366a2523252f8d253","datavalue":{"value":"rewrite rules for Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674088$56E2B387-A649-4DB3-9664-D3C537FCF951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674088$09B3CD2B-8F4A-4645-AAAB-D1D23CE3F4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e4175112d1ba4af12735f5b1726999ca0d4793","datavalue":{"value":"complete proof strategies for first order predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674088$81B267EE-FF2E-46B8-B295-A0B1454A9534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674088$CA731BE1-EF90-439A-9915-7CAED8CFB2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"168efd5b5ea5201f07981f3c97023441918073bd","datavalue":{"value":"data type specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674088$9C9AC788-D8D9-4F1B-B1DA-0523CE6BE770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"591ea82ff7f9276031623a4d30aeeac49835c681","datavalue":{"value":"programming language design","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674088$9C2BEF7B-E500-4CD8-A5E3-5801AA97BAF8","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":"Q3674088$C2B7B182-F01B-41B7-85E1-3B1DF5F5235B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3674088","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3674088"}}}}}