{"entities":{"Q3929009":{"pageid":5958914,"ns":120,"title":"Item:Q3929009","lastrevid":55014814,"modified":"2026-02-02T20:12:49Z","type":"item","id":"Q3929009","labels":{"en":{"language":"en","value":"Models of sets of sequences and the proof of the correctness of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3744503"}},"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":"Q3929009$EDD456E5-B1AC-4427-A53F-A208B3865D0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18bedd07ba470ade8bd6b28d59dd864983acb345","datavalue":{"value":{"text":"Models of sets of sequences and the proof of the correctness of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3929009$55B71308-D754-4A75-8FA0-FB3091158EEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7242b959e8e24ea91152e13c56215d4e07485568","datavalue":{"value":"0474.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3929009$595F3A8D-80ED-4A73-8E9A-38FF19D615FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9d4557b599e24fc7e828d9e33386da2d879247c","datavalue":{"value":"10.1016/0041-5553(80)90103-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3929009$7E7E98F2-35EA-48B1-B3B4-2FA4336BEA24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6f4b1db0ab0436e2a2713ddf38687a4e091b14eb","datavalue":{"value":{"entity-type":"item","numeric-id":133658,"id":"Q133658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3929009$56A507FB-1D60-4E5F-8A89-283E55DD18EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3929009$D685A27F-EF0A-4B74-A7F9-AD900151182D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3929009$6AA71A8C-3741-4C9C-AF20-97D66CD839B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f74cd66f4bca65e104f701e04b930b37371744c2","datavalue":{"value":"3744503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3929009$7BAE783B-2512-42DC-8A6D-321CAB09AB8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c715f7660adfc1d08e981d189dcfb1350f34c0b","datavalue":{"value":{"entity-type":"item","numeric-id":327076,"id":"Q327076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3929009$044B8CFA-8C19-43CA-8326-B087156E10E1","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":"Q3929009$DF82431D-8638-438E-9398-2DC2ED3A922C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27ed93b06e833eb6826e72fc0670a9006b1c2cc2","datavalue":{"value":"https://doi.org/10.1016/0041-5553(80)90103-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3929009$42CC496C-9679-435F-82C4-2AD118EFBDF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28a4c1470b8d023c4a4b847c1e9e66c21c73bfc0","datavalue":{"value":"W2019147244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3929009$3CDA79A6-7FAD-414F-A636-DAFC5698AE84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3929009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3929009"}}}}}