{"entities":{"Q3932277":{"pageid":5962182,"ns":120,"title":"Item:Q3932277","lastrevid":55024354,"modified":"2026-02-02T22:20:14Z","type":"item","id":"Q3932277","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3748393"}},"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":"Q3932277$2B12A3FB-43AC-4915-8B85-07D4FB42EFCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f67453185eee35b2a616276d77ba7961f8964ea","datavalue":{"value":"0476.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3932277$9A2D88E2-12C4-489B-BB3D-EB010CCB00C0","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":"Q3932277$1AB5712E-25FF-414D-B5D3-299A9D77029F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3932277$4003E0DF-C66B-474C-8BB1-75DDEB5E8447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3932277$1DDE557B-21CE-4F09-9E45-AE4B31B08097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3932277$C1BAFD6E-1118-40BB-81A1-32E9A8C7F592","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"532eb8c2f5e9feaad298cf21243f0e300fbfcb59","datavalue":{"value":"3748393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3932277$98EEC18B-6CF3-47CE-AACD-992CA3733371","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3932277$63136C58-C796-4CB5-A34F-0083035CF2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9a4fb32e1337567afbea716ab340afdd02981c9","datavalue":{"value":"verification condition generator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3932277$56E34945-6C47-4173-A995-9A48B029FA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab4a6e575b50258d061e3b2b5f18c0351b87e972","datavalue":{"value":"FORTRAN","type":"string"},"datatype":"string"},"type":"statement","id":"Q3932277$2B53988B-695A-499B-AFCB-02CD4C0CB922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbec5c2b93e66e86aa0d97f1c5c6e6aacaff7fc6","datavalue":{"value":"computational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3932277$8BB438B4-AFA5-4843-9D4D-5B3DC905BDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3932277$475F4026-D195-4A9B-923F-F3C792DF2C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3932277$D02B2B50-1FCE-4EC0-9F65-F29A18DCEFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3932277$22685ED1-1222-4CD7-934F-0031461C7999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3a6e871a284af917cfc8de81b27bddc18a2460a","datavalue":{"value":"metatheory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3932277$31D90187-F8A1-4AC7-A415-C48125B3DFBD","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":"Q3932277$DF833AE1-927D-488E-A519-4C32F210B56B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3932277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3932277"}}}}}