{"entities":{"Q3944044":{"pageid":5973949,"ns":120,"title":"Item:Q3944044","lastrevid":55055647,"modified":"2026-02-03T05:56:34Z","type":"item","id":"Q3944044","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3761442"}},"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":"Q3944044$D6ED04B9-A635-4434-9AA2-6879896DAF9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cba911dc4afd5f6d386d989db663e89a5ef2bd8b","datavalue":{"value":"0484.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3944044$5B67AF75-1909-4BC1-968D-C9E7A55F1804","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":"Q3944044$93B150C6-CB8C-4F4A-90F1-415B4636369D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3944044$9BA88426-193E-4AE7-ACE1-E260329599CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cd30bd0f183b5d16c2fce8ed462bc6b64961595","datavalue":{"value":"https://eudml.org/doc/28663","type":"string"},"datatype":"url"},"type":"statement","id":"Q3944044$F728DFD4-5E69-49CD-867D-8A1F796086AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3944044$9EAFB9E2-F17B-418C-873C-17739DF4B53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3944044$4E489E4C-B7DC-4AE9-B95A-C2364B605464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3944044$1ADA5FFF-8269-4184-8D5D-C0C0E9F75F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3944044$BE9F951E-75A0-471C-9DC4-AF7FCE607233","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fcfd8bb544bbfad038ed1926b20fcb842383ee4","datavalue":{"value":"3761442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3944044$92E7C782-294D-415D-AE0F-ABBC1AE91294","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20483f2475e54bbfe3d909c2d24e6a730972f660","datavalue":{"value":"statistical verification procedure for propositional formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3944044$049F50A4-BA55-483F-A903-E448B2BD903F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa6739bffdbb013f256bba87d519e577bedb26f","datavalue":{"value":"random samples","type":"string"},"datatype":"string"},"type":"statement","id":"Q3944044$83D31FA7-850C-4D70-920A-68F776D6626D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3944044$1DA26671-E508-4683-B0C7-A8E7F306D420","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":"Q3944044$AA8EAEED-2338-4CE8-A72B-10E504E2E652","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f416081c3eaaf4dde329560f81e41ba25dd362","datavalue":{"value":{"entity-type":"item","numeric-id":4775470,"id":"Q4775470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3944044$2B067F14-FB67-446B-BD4C-7D153082B0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925d9424c4fe0c76c6b79e62943e9ad5abdf0c93","datavalue":{"value":{"entity-type":"item","numeric-id":5184183,"id":"Q5184183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3944044$14BC3F72-82EC-401D-B79B-6928FF305272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3014be6b7fd6ef39108aa610af76bba0c00945","datavalue":{"value":{"entity-type":"item","numeric-id":2550943,"id":"Q2550943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3944044$28C6FD58-F211-4896-9244-731439B0BC78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3944044","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3944044"}}}}}