{"entities":{"Q3942385":{"pageid":5972290,"ns":120,"title":"Item:Q3942385","lastrevid":55056229,"modified":"2026-02-03T06:05:02Z","type":"item","id":"Q3942385","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3759535"}},"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":"Q3942385$55A51427-B67A-444D-8926-EB7D32946BD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3803827dd867e5a313b7d4035d410312cbb54587","datavalue":{"value":"0483.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942385$7783234E-3D62-400E-92DE-F248BFCB7091","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e84fb005a154bcd562e79420364357d5b43325fc","datavalue":{"value":{"entity-type":"item","numeric-id":174067,"id":"Q174067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942385$EDAF096F-A68B-4A00-9375-F436ECBA70B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3942385$39D2DD00-34F2-491D-83EE-C05276895D7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942385$532F0D1D-505F-4221-A411-83B8F438888C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942385$7AB24AF2-359C-4FA6-929B-4BFD7EE5D539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942385$6C2E46D8-5AA7-4DB2-8224-EB3BDE33B98B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"621fdf100441dc8cb55020029afb0461e24ecca1","datavalue":{"value":"3759535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942385$00CEAC18-CAC3-41BC-95E2-C490C0FB8903","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f802f3e8569c8814279d27422c34b41eaa5f1e34","datavalue":{"value":"program construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942385$7AE93466-318C-4E9D-8AE4-36330A74A8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942385$CC1E4EF9-3E80-442E-9F92-A333BDC900D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b7fd26f3b9db18e91571135b6e6a63a3f7fa303","datavalue":{"value":"intuitionistic predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942385$060F27F7-84EC-4157-9108-2A569EB1CBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cafdeb117fc33bb22196fefda43770863527d68","datavalue":{"value":"automatic construction of correct programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942385$B7F3CFF6-80D1-4C0A-8CB9-538FE0217851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebcd06e277b208f94251a09ce9dbb3bb189fc056","datavalue":{"value":"intuitionistic theory of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942385$6A388BC8-6558-407C-B7B2-73ADB5A87AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a488169870ba94362f54b70073b754823a60b19d","datavalue":{"value":"indeterminacy of program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942385$E3083A49-38B1-4343-9EFA-78BB12C6006A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dec26f9b6d2548eb6d729f3ad4c615fa5eab908","datavalue":{"value":"fuzzy sets as models for programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942385$913F3E16-67D0-406E-832A-3E1BF707EE84","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":"Q3942385$F9F72548-64EA-4AB3-906D-F382A79DE42C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3942385","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3942385"}}}}}