{"entities":{"Q4849647":{"pageid":6879227,"ns":120,"title":"Item:Q4849647","lastrevid":90905657,"modified":"2026-06-04T21:44:30Z","type":"item","id":"Q4849647","labels":{"en":{"language":"en","value":"Object Specification Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 802493"}},"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":"Q4849647$84F10E50-4CD2-4440-8576-00BAABD5E272","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff557835b26a202eb5524f0f905a9a79eebdb233","datavalue":{"value":{"text":"Object Specification Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4849647$E689AE18-BDBB-4A7F-A88B-D2A03B9F4C90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e98c5481fd1ed5b8a8c79893928ed6024f4edbe4","datavalue":{"value":"0829.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4849647$837CD785-F964-4908-9E4E-7CE77433F36B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"beab1a10500124789e4c9090c73f45bfb2bd60e8","datavalue":{"value":{"entity-type":"item","numeric-id":162056,"id":"Q162056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4849647$2F2425F5-B73C-415D-B4B6-F0F85C194E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"285d9750983a099fd09d5b668a563562c82d80f8","datavalue":{"value":{"entity-type":"item","numeric-id":694497,"id":"Q694497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4849647$359CBE68-6360-4F09-AC16-7961EF082CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f777adcad6332a741f226656c48fe659c1cfa7b","datavalue":{"value":{"entity-type":"item","numeric-id":694498,"id":"Q694498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4849647$75881280-21C2-407E-891C-0E6FE7B01533","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b12e332ffe60310d8fb0fe514e5f371c7ab5bea2","datavalue":{"value":{"time":"+1995-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4849647$86D44506-7C8A-4082-9BA1-3758FE549CCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4849647$DDE0477E-D1AC-4820-A2D8-9FCC7728524D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4849647$E8368509-9060-427D-86CF-E32A4A1AF6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4849647$FF9597D8-C012-47BF-AF8A-654453FE01D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4849647$7140270E-3E53-44B6-BCA2-BD8ADCA33876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4849647$4CA76981-4963-4404-B0AE-E5BF9C9281A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a57b1c3309314e9e6cc455a72903224f757661b3","datavalue":{"value":"802493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4849647$758B2CFB-BE0A-4FB1-A944-0B19611B08CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eb36bd07cf45ab8f53c60c9aef4be3278250446","datavalue":{"value":"system specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4849647$AD6C694D-0DDE-4F2B-BD69-08E403608D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e27302aaf7544d0b74e2312b8d6f38cd1a37dec","datavalue":{"value":"object-orientation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4849647$297EF8A9-6452-4DE5-AED9-F21F4C74199A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4e5e0eb5ded3055e56385ca9df751bc75e485d9","datavalue":{"value":"logic of inheritance","type":"string"},"datatype":"string"},"type":"statement","id":"Q4849647$5A06688C-B05A-4D70-95DD-B73CFB7D012A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec7ead8714c6f5a12fe822bd9f1afc3f1a7376be","datavalue":{"value":"logic of interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4849647$5CB19BEB-74C3-4CD7-9F03-F96996D04890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4849647$69C00454-6BF2-482E-915C-8C45D9110616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22ffdca00173ced5c1b8efb1893ae52a5dddae4","datavalue":{"value":"many-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4849647$63A0DF93-3A7A-4832-9FD5-A6B32E8C59FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db158fb26b109c799e33bf311226359880ee7a54","datavalue":{"value":"system verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4849647$86811502-12B2-4FA9-9862-5548D59BB87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c733c35243db445fb921dd204a02dba345ce1814","datavalue":{"value":"logic for specifying and reasoning about object classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4849647$3CDF466C-6EF3-4B1D-980B-B64DEB265411","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":"Q4849647$158920D9-5CBA-4663-A6C8-D4FF7E6E144B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71b7d347a58ebda9da8c73b439d8d9225f447c5f","datavalue":{"value":"https://doi.org/10.1093/logcom/5.5.603","type":"string"},"datatype":"url"},"type":"statement","id":"Q4849647$8BEE7AD6-66A1-470F-8E1C-AE26B50AF3D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16985cea1abb1b5a270d4f2c9f551e2988fa89e3","datavalue":{"value":"W2045641460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4849647$354D5666-F81C-4373-BEDE-D8889112525F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c23540031fb5d5dae21cbc4176d5f0ab9a35df2e","datavalue":{"value":"10.1093/LOGCOM/5.5.603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4849647$9E1C7632-1FF1-43A4-BD4A-9AFC1F42D228","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4849647$8C0D53C8-81EA-4BCC-BCCA-D1AEC6FC1CF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2570a90bb198b4560e2365268a09fdf24a6c665","datavalue":{"value":{"entity-type":"item","numeric-id":4332063,"id":"Q4332063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9857634fa48ff2c9bdf319c548adf609fe34e02c","datavalue":{"value":{"amount":"+0.7786976099014282","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4849647$B8322B33-90F2-4DCA-BE6A-7E023DEF5F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02658ea832e71a99ea5469476d7e1df85df4a9a2","datavalue":{"value":{"entity-type":"item","numeric-id":5305637,"id":"Q5305637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88bca80b396fea9ec97f6a979cea5b3230bf40d","datavalue":{"value":{"amount":"+0.7702131271362305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4849647$7C9BC23B-888A-4778-A2C9-119DC2B20036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1113167e0c679c96156cc9edbd4e07d42f68b37","datavalue":{"value":{"entity-type":"item","numeric-id":1127818,"id":"Q1127818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1315f7647ef88943e45473f306ba247e42cdb7fc","datavalue":{"value":{"amount":"+0.7661248445510864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4849647$778AA11D-06F1-4214-AAA7-C4944A5917FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db46618629bf4c65ca4b323686de344f1ae596c0","datavalue":{"value":{"entity-type":"item","numeric-id":4251119,"id":"Q4251119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d7055bdcd256de410494f9c279808246c636b9","datavalue":{"value":{"amount":"+0.7604914307594299","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4849647$C3FEE6B5-7D65-4369-B6D5-18E01EF155EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7215f146c06bd245381c2c5131856b53ae73eed","datavalue":{"value":{"entity-type":"item","numeric-id":4762660,"id":"Q4762660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c5b5ea4bc24e986cf98ab5bf05d49602b8064df","datavalue":{"value":{"amount":"+0.753349244594574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4849647$3B48E448-4753-4595-B145-5B3954A5BC3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Object Specification Logic","badges":[]}}}}}