{"entities":{"Q3883473":{"pageid":5913378,"ns":120,"title":"Item:Q3883473","lastrevid":54613958,"modified":"2026-01-29T14:19:12Z","type":"item","id":"Q3883473","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3688693"}},"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":"Q3883473$D143FCEB-E8C5-45D0-A4A9-F293195B29DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"143332fa500d5371bbcb007d7f281228db62144a","datavalue":{"value":"0441.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883473$BEFD639E-F44B-495B-8ED2-BBA49EC1C9FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883473$B364E846-E4A4-4480-8074-E2907E73B057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7e064d8bf44e919533bcd03f615423e66998fc","datavalue":{"value":{"entity-type":"item","numeric-id":549206,"id":"Q549206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883473$76E34D35-7906-4B2E-ACFA-32D6E4CE8324","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":"Q3883473$BF2A7830-2597-452F-B792-CD3A5636A981","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883473$5FA46669-F21E-4A3E-AB38-1D7626286A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883473$DCDDA99E-4E21-4C50-BAE2-73A4535B6E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883473$568E346C-6F68-45ED-8B50-87E4512A7CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883473$7F247C48-92AB-4445-AC27-AC1905BEEE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883473$D6AD9D34-44D1-4951-8F17-30031E480969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883473$377D77B1-A134-4294-A86A-58CB16F3DC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883473$43E3E067-E4BA-4D17-8594-4D99112A0FAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a89da3f20cfd9ed967fe5c685c8a062aa25f5b4f","datavalue":{"value":"3688693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883473$A1DE877D-3A35-411E-818D-BFDA41BB28DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cdf2b727b43ccafca197043cdcf87c4213597e2","datavalue":{"value":"computable data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883473$9EC82E6C-C198-4894-ADE3-DBC0C7A8A799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66b2276908255ab0fe38e919717094768bd78cb3","datavalue":{"value":"equational specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883473$757A4580-2C6E-49EC-AFA5-4352A450A19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93ca938cbba626a37da2392bdcbdb5b4e4b6da52","datavalue":{"value":"initial algebra semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883473$4EC0AF75-C712-4159-9370-9D2A15B3DF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883473$24A1D701-E8EC-4030-AEA6-14698E1DF955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883473$2BF94B4B-2547-4800-BF97-75D10E6350F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"116c12e4ced52ff19506df15cba07bbd94095dbf","datavalue":{"value":"Hoare logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883473$33C83EB9-B3C9-4286-937C-1206406ABA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76ebfb33907022ee4caedfa139602f41dc4c039e","datavalue":{"value":"computable intermediate assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883473$2CCC33E2-0555-41DA-8C98-3817EDF745E9","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":"Q3883473$A35B7531-A7A6-42AF-A6C9-D6755B261D52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3883473","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3883473"}}}}}