{"entities":{"Q968529":{"pageid":970377,"ns":120,"title":"Item:Q968529","lastrevid":65797212,"modified":"2026-04-12T05:26:15Z","type":"item","id":"Q968529","labels":{"en":{"language":"en","value":"Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5704032"}},"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":"Q968529$7F643535-CF99-42BC-95A3-F9F7C4E3DE50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"683321e042ff7ba77d5f1551d84ac0fd82547b82","datavalue":{"value":{"text":"Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q968529$288B15B2-B485-417C-A9AE-261AA14F9A06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68f58a4b2bb45c4a5113dd335b708f686adc522e","datavalue":{"value":"1192.68931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968529$AEB5D33C-A194-45F6-8955-B84ADC034C8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b1a907ecb3179b105826b3f987b799ecca7d342","datavalue":{"value":{"entity-type":"item","numeric-id":968528,"id":"Q968528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968529$263EDC83-3FB7-41A2-88B8-F77D279CD88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c8b8152eb049581c2538d13b0e2ff0fba8e40b","datavalue":{"value":{"entity-type":"item","numeric-id":520242,"id":"Q520242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968529$4F8270B0-AF9E-45BF-B90A-9DADE3EBE8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f6f99687ff908843c429ffd48d1e31213ec62ef","datavalue":{"value":{"entity-type":"item","numeric-id":520243,"id":"Q520243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968529$9929DA3E-763E-45BF-B6B5-7727799A1080","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968529$B0B068D4-05DE-4759-B3F3-E30F64785A34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d513bfc5982e2fc6615028187c47bdf077f809a","datavalue":{"value":{"time":"+2010-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q968529$2DDF0A43-C490-4B02-A4CE-29FBBBF52B78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c62490e08bbd0dbfbb2fa95ecf8a42373868eeb2","datavalue":{"value":"http://hdl.handle.net/2297/22582","type":"string"},"datatype":"url"},"type":"statement","id":"Q968529$65C40DEE-86F4-49B9-A0F2-83205D86EDBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968529$ACC916DB-6EF9-40AE-82C6-A77621DDAB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968529$2540C792-F328-4CFD-866A-150726EE87FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968529$362B47B6-75B4-4066-889C-53D3B905757A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23081eb7348a0915cb7520d915b85d72d53ddf5e","datavalue":{"value":"5704032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968529$54F5AA49-303A-4E92-90AF-84C0DADD346A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q968529$2246E990-C87B-42AD-AF29-EB216A3E8F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q968529$251863A3-E914-49FB-96CB-D54BE0827698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7d470a16c93b36dde24947a869d166c7350938","datavalue":{"value":"behavioral specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q968529$DBC6A1C4-B5B2-439C-8B79-B586DA887981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"565b9b6a905474199c98c3d1d451bddb13561b42","datavalue":{"value":"behavioral coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q968529$1AB5C941-C360-416A-B0F3-53A8193D6AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"605b2f55fee1d330f9b0a6d3ed1a3e9df8bf68b3","datavalue":{"value":"observational transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q968529$98FBADBC-0351-40F6-921C-601DF21376BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968529$0C6F2DC7-B1CD-48CE-8B1F-FA5D18824276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"572143c91783d0a6b0c85b511e358973b6a75091","datavalue":{"value":{"entity-type":"item","numeric-id":21990,"id":"Q21990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968529$3D2A224D-EA45-449C-B527-BD8438E61BAE","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":"Q968529$46ABF4D7-535B-4C2B-A0B2-B30C78EFABF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68bcc90f6fafee688acb61f7cb299f5db424480c","datavalue":{"value":"W2061219800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968529$63B1EC5D-A6EA-411A-AB5C-D4114ABE0A2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d2df175018ba9fb53d4b6342835fae98a6b39f","datavalue":{"value":{"entity-type":"item","numeric-id":5505586,"id":"Q5505586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968529$2CC9902C-4550-4597-AF88-DAE052FAC654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a3e60dd0fca99bfbfa5b5591cdca181708b6d19","datavalue":{"value":{"entity-type":"item","numeric-id":1887142,"id":"Q1887142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968529$B29A4FFD-D961-4111-BF53-D9FDA52F67CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e46aebc04c4ba0e79011f44184decc8d5c2923","datavalue":{"value":{"entity-type":"item","numeric-id":4520814,"id":"Q4520814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968529$3F831F34-382B-4564-B113-982F8352BDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c730e7a11765d2866ae1e1a84de71868633eeff0","datavalue":{"value":{"entity-type":"item","numeric-id":4346205,"id":"Q4346205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968529$CAB3BAF0-BE39-48D6-BAEB-8B94BC307FA1","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":"Q968529$3B4F2054-A958-486A-8778-604611C6E627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28ff8a4a0483a6768a1905df4bd074926e8216d","datavalue":{"value":{"entity-type":"item","numeric-id":5432344,"id":"Q5432344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968529$18687BA3-4555-412A-93DC-E48E7650C571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968529$35BA16F4-2129-4B4C-87FA-110557DFE98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f993fcd9fff6be6ddd29863c05df1fec57dd43d","datavalue":{"value":{"entity-type":"item","numeric-id":4259966,"id":"Q4259966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968529$74979A6E-E5AC-4890-BF0D-2A7662C10528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a48e8830951e39fb0f54422f9a7174d85b6eee","datavalue":{"value":{"entity-type":"item","numeric-id":1854569,"id":"Q1854569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968529$DA6967A9-FDD4-450A-96D0-50D59396B1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4618a292456119ef22b49e2e05eece3225962c2a","datavalue":{"value":{"entity-type":"item","numeric-id":4790352,"id":"Q4790352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968529$148DB5BD-9088-4831-A5AF-3E20F264C724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968529$F8D36F36-C4EE-4F2E-9D76-721C5B61A884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968529$953FDF54-C7F5-42D6-98F4-C26937F7DC68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f08fb88601a682001e602f34d0893d8934693572","datavalue":{"value":"10.1016/J.JSC.2010.01.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968529$95ACB77E-5A1E-4472-937D-B259EEFAD1A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75f47441f1531deb52f2ca33b3fd446ddca85f13","datavalue":{"value":{"entity-type":"item","numeric-id":3819994,"id":"Q3819994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e77d054e973fbb670cf7a52c13244ae51c1f589","datavalue":{"value":{"amount":"+0.7391292452812195","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":"Q968529$DA9170A7-89EB-45EB-AD60-5F1E9C670650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd4abb0f35c32cf2460c2c8db7cd10c3521db90f","datavalue":{"value":{"entity-type":"item","numeric-id":3780427,"id":"Q3780427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e124bdda46c07b2d3e911816a2087962300de1e2","datavalue":{"value":{"amount":"+0.7363473773002625","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":"Q968529$7243E74A-23FF-4C3F-B5E7-FACBD4E6AEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cc65cdf2044d1a4d927398a719f7ab76181f0a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c857c582d040be8d4ec8f805b358b68da8efd6ed","datavalue":{"value":{"amount":"+0.7304249405860901","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":"Q968529$2B27E859-2969-47AD-8A46-12F09E728DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"047fe20b686478cc211a21d8249ca832543781e3","datavalue":{"value":{"entity-type":"item","numeric-id":5941203,"id":"Q5941203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8126637db72ee7b0fb6f43c451ed6c8ab0e55dcc","datavalue":{"value":{"amount":"+0.7107031345367432","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":"Q968529$50CF10B2-78FA-4E69-A4AD-C44920DD144E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7678c7b70137e8ca67893ab5af55c697779b173","datavalue":{"value":{"entity-type":"item","numeric-id":5055729,"id":"Q5055729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e566f5f4fe7a6b92105a9c1fdd51d9ed5d16ff71","datavalue":{"value":{"amount":"+0.7047330737113953","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":"Q968529$25778919-F70D-4B72-B1BE-AD83C6ADFC8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reducibility_of_operation_symbols_in_term_rewriting_systems_and_its_application_to_behavioral_specifications"}}}}}