{"entities":{"Q1161277":{"pageid":1172026,"ns":120,"title":"Item:Q1161277","lastrevid":42923162,"modified":"2025-07-16T01:49:57Z","type":"item","id":"Q1161277","labels":{"en":{"language":"en","value":"Specifications, models, and implementations of data abstractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3752197"}},"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":"Q1161277$CDAAFD1B-C9C7-4273-BE91-64C1F44831F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6e9f665741d406b479a492ceed3a2f6f61a9c9f","datavalue":{"value":{"text":"Specifications, models, and implementations of data abstractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1161277$8B1C5A8C-0BE0-4966-BE69-ED4584488EF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe4d87b18b7c62743924629d4a8d671b25d2b5a4","datavalue":{"value":"0478.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161277$047F4F62-73E2-4363-B349-725AFAA9EF4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e6e04ea6b9b4fa705963233e37ca22fa48e2b12","datavalue":{"value":"10.1016/0304-3975(82)90097-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161277$01BFBE57-C41D-4761-B752-EBFFABBF3FF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0df46863ce98323a92df75a33b2683b5441c935a","datavalue":{"value":{"entity-type":"item","numeric-id":808686,"id":"Q808686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$F41DCEEC-1301-4EA3-BC1A-556EF2BFE370","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$FC9D31E6-71B7-46E7-96BF-4E51BBB703F6","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":"Q1161277$A728034E-8F20-4B24-B742-C87173AF74B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161277$334453C1-217C-4BCA-AC53-A8295064DE39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a36b56b5db1c393c41313f06af1e73ec700b5d4","datavalue":{"value":"3752197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161277$1A9E5A50-28DC-4FAF-A3EF-9EDD42CACDA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"990a731ae02aaed2e8a87217c6b33654bbe50f25","datavalue":{"value":"verification of modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1161277$6DD26600-CE66-498B-8F5A-584A89142DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f569b3efe96d800a512bf95d388f917da8871b9c","datavalue":{"value":"DLP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1161277$41F36890-FF0D-4FF0-97D9-26D6B760A48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1161277$44CAF03F-2A5E-4D73-8593-A83BB586F43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ebf9efaf2e95cd40bad7aa746079c10e6f6ba19","datavalue":{"value":"first order dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1161277$77644317-4CA2-4B04-9975-E05701630DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1161277$07EA14EE-8FA4-4EEC-A419-8B1281E79998","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":"Q1161277$B8F172EA-4AC7-42BD-8BBD-33C8019C43E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"421603f2469e4784e460951730f979576f5c434d","datavalue":{"value":"https://doi.org/10.1016/0304-3975(82)90097-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1161277$A2855715-AC99-422E-A732-84F93A792B57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11b445290951f4b63e55ebc37a4c2364aadd8e63","datavalue":{"value":"W2051800122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161277$6DEF4133-B46B-43A6-8A80-D19E4FAEC58E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$C77DB562-A94A-4294-ACAB-E10AAA7DACC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffcb1f36fad5d15f5f81550a3f53870c6291d96d","datavalue":{"value":{"entity-type":"item","numeric-id":1242447,"id":"Q1242447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$488A6E3F-9EC8-49EC-B952-6EB9D036895D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba356a3f6009fa57be2bdd584b588ade0a491a4","datavalue":{"value":{"entity-type":"item","numeric-id":3851610,"id":"Q3851610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$F47D41AC-28F9-4850-961B-C17EA0A3169E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$57824E54-5AC5-49A8-AA9E-CA9E94F1C7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6344168d2864225527e96304f70312b37d2e6917","datavalue":{"value":{"entity-type":"item","numeric-id":4160388,"id":"Q4160388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$6895B37C-5C2B-4650-90E2-6EDDDB891BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e9a5695edf774948effa6f9a180e1493d82669b","datavalue":{"value":{"entity-type":"item","numeric-id":3907050,"id":"Q3907050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$FDA5FDB9-58D0-415F-A9B2-B308A530EF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc81552e48b679a9604f8ffc9b0a061e9151edac","datavalue":{"value":{"entity-type":"item","numeric-id":1249041,"id":"Q1249041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$43A85BFC-92CB-4C56-91B9-A3C5B8F07E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$E7D398B2-7493-47EE-8705-897E4B495165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87c691854819eec4f1d4808c08af46178b8c12f","datavalue":{"value":{"entity-type":"item","numeric-id":4168047,"id":"Q4168047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$023FC76C-6534-421D-9540-08130CDD221F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$16D2528E-0025-4D70-BB67-BF2E54FEB6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b578970135ac014954b0ceee779e821faa38e4","datavalue":{"value":{"entity-type":"item","numeric-id":4792066,"id":"Q4792066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$5A49B04A-4681-44B6-8E1F-8DD11FEAE773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5585141e7075b8e821d5d8a53c3a2b2a50ef9a8","datavalue":{"value":{"entity-type":"item","numeric-id":4136503,"id":"Q4136503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$6CF46348-6CE4-4566-B9A1-CC0D5BAE4FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$DDF91445-0BF3-42C9-A02F-3AF1D2855CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"653438d7947829d6714d81187175e2433c8365a6","datavalue":{"value":{"entity-type":"item","numeric-id":1234591,"id":"Q1234591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$CE37D447-731D-45CA-8189-809C59F78EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b4d597fe3553b7f4c7832a1457a2bdf884649e","datavalue":{"value":{"entity-type":"item","numeric-id":1138904,"id":"Q1138904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$A037F098-CCF8-4595-86B8-B18D54F5E77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a1c4a592ac8674db7efe66e4c1622fce9dc25","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$30F87BD8-3D69-4147-BF31-7F379203AEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2e83e8d2a85326fb9a891c06371f98765ab68a7","datavalue":{"value":{"entity-type":"item","numeric-id":4130971,"id":"Q4130971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$5D6AFA18-22A7-4531-AA19-2A7E54893C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca83c475c9542836c36eb5af4dbb440bc6c870d","datavalue":{"value":{"entity-type":"item","numeric-id":4168060,"id":"Q4168060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$03B037C3-4D88-4689-ACEE-A4F3C5A6EB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$A6A5CBDE-3DBC-450A-9B6F-34089FE76CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8cab609ab05eee7c184b51e47db2f36936ac6c1","datavalue":{"value":{"entity-type":"item","numeric-id":4168045,"id":"Q4168045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$4417D9B5-A518-460A-A389-73B9D1178337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$784DA5B2-5246-4421-9444-33292AC14FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893133b7b86a6ea8f7bda9829deaacd67f7e2f67","datavalue":{"value":{"entity-type":"item","numeric-id":1131834,"id":"Q1131834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$67D097B9-CA6C-4E0F-97BE-AA35741E4024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822f7126542ac8da227da36239413ce9d42e24ba","datavalue":{"value":{"entity-type":"item","numeric-id":4121384,"id":"Q4121384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161277$E2303051-1A1C-4E83-98CA-F0380A65D742","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f1010ec066a20737c34de5ddf04e1bcd604aa856","datavalue":{"value":"Q126849121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161277$88B3A3B7-5D8F-413F-8B3D-A7A6682B518D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1161277","badges":[]}}}}}