{"entities":{"Q3311709":{"pageid":3322417,"ns":120,"title":"Item:Q3311709","lastrevid":45931264,"modified":"2025-12-20T16:00:02Z","type":"item","id":"Q3311709","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3841275"}},"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":"Q3311709$C47D5CB4-0587-427B-A7A9-6A57977108BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e98163744f65be8c4d819d155e12cd48ecfd53ba","datavalue":{"value":"0529.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3311709$6628F9F0-7FF3-41E9-BDB7-D989E1CFFC8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b13b0ff580f5813051920faa5cde908b6ebc28a","datavalue":{"value":{"entity-type":"item","numeric-id":1296898,"id":"Q1296898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3311709$D531589A-0D90-4128-8D67-54F6692C6DC7","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":"Q3311709$7AEB85FB-5737-4447-9EA9-4C2616A4E463","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3311709$3930278E-551E-418C-A87D-2D87928C49BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3311709$8229FE83-5C17-431B-B036-34A52E6A4D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3311709$A53F23E5-4E1B-44BF-A8FC-4169F1C57909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3311709$8CEE2DB8-2253-422A-8C55-85529F5A0497","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bda30da4e0f1429f5556d70252204e193afebde5","datavalue":{"value":"3841275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3311709$71D7458E-CFDA-464F-9B4C-590A4C83BC52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ae19ab5fbac198bcbc6df05313d3a9cf830833f","datavalue":{"value":"automated verification of propositional formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3311709$DFD018DC-0213-4D31-A129-CE42D52471B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af2b352893f127e983cffba263ff152f213c1422","datavalue":{"value":"approximative verification procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3311709$FC75F1DB-519C-4067-AC28-CCDA590DEF95","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":"Q3311709$DDDFB298-EA88-4FF0-A7CE-A8620BE72B7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3311709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3311709"}}}}}