{"entities":{"Q3949956":{"pageid":5979861,"ns":120,"title":"Item:Q3949956","lastrevid":92995709,"modified":"2026-06-05T03:21:11Z","type":"item","id":"Q3949956","labels":{"en":{"language":"en","value":"Comparing data type specifications via their normal forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3768958"}},"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":"Q3949956$D8AC4AB3-3B7B-4CDF-B405-EB51D2D533D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a048cde35674dd02fa73c951f0041fab7180d48","datavalue":{"value":{"text":"Comparing data type specifications via their normal forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3949956$00823524-58A4-4132-A769-741267314FF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43ca7ba11d9ed65676fed90c18f488a1cc386e23","datavalue":{"value":"0488.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949956$A848B3E1-7FC3-49AE-B476-ACC4465C727B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d09a8290e74b6969579619a24c3dc474764bfd6","datavalue":{"value":"10.1007/BF00999725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949956$36127ADC-95D1-4933-8B58-CF6031A9A535","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e80c710b29461ec8d173bd590c79ea3afa2ce3a3","datavalue":{"value":{"entity-type":"item","numeric-id":232284,"id":"Q232284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949956$DEC25B9E-6FDA-443C-B9E8-DCD3F651534F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51beb2a92bc32d80e5ddef4ffe8bea1acd44a330","datavalue":{"value":{"entity-type":"item","numeric-id":281161,"id":"Q281161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949956$8110C13F-7CCE-440F-9F02-1B779EABD2A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"299c62a7bb9adc9e73fd7facae1ee9d7ae362535","datavalue":{"value":{"entity-type":"item","numeric-id":2855323,"id":"Q2855323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949956$4169D9D2-C51B-4EA6-8706-C253E4A1BCC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3949956$7129E812-7429-4029-8D53-1FCB04D10500","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949956$1476DB0E-A5D2-4204-8525-F8DB3847A67B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d75a32df81c4d1b37ee33901817ef11b8c6aa628","datavalue":{"value":"3768958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949956$C2D36631-4B1B-4C52-87C0-699E8BEE7F9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da89a1358d0f802139a8fe7d622b2ab07ea247cd","datavalue":{"value":"abstract data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949956$9C7DA401-0AC9-48EC-9A37-1E4AD49A5DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949956$3480019A-6EBB-4694-8F26-D37B7F936217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcfb0301bb17cb416489e95a0d2e3c5b1efbac9","datavalue":{"value":"rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949956$B1672C93-90F5-4E0D-A596-B83792FE31FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949956$50C7BE5B-7B0C-41C9-8865-BFF0883FB608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f17ea1aaf292843045de6c8e0fba1afa1d6af9c","datavalue":{"value":"initial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949956$77B2F486-9DD8-48DD-B46F-ACAF66999572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c518db5db98b107b0834fccd33a9aeeeb64507a","datavalue":{"value":"equivalence proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949956$8909B78B-6401-4B5A-8ECA-809922FD312F","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":"Q3949956$CAACBAFF-0285-4A7E-BCA0-639C67D6B69A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949956$5CC5548C-9D29-4644-A57E-CC4F13CB777E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b333869fe483ea43fd2b8640b2fdfa1360b3169","datavalue":{"value":{"entity-type":"item","numeric-id":1243118,"id":"Q1243118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949956$73D69F50-4F4A-4D4D-8D20-C4FCC6F13AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949956$485B4ECE-DEB0-47D7-B4A6-EE48B5AD000C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949956$4F6050AD-49EC-451B-BAA0-3456F57949C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c24c8b910ee50298aa351869c23931ee65051d80","datavalue":{"value":"https://doi.org/10.1007/bf00999725","type":"string"},"datatype":"url"},"type":"statement","id":"Q3949956$C5F13BFB-A0F1-4386-B7CE-606D64201C44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ead3e12254fefb359b4a8609400f75ee8304f1ac","datavalue":{"value":"W2088604881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949956$E88B8FAC-7F17-4DCF-9A5D-CD755F9CF860","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comparing data type specifications via their normal forms","badges":[]}}}}}