{"entities":{"Q1608923":{"pageid":1619663,"ns":120,"title":"Item:Q1608923","lastrevid":81886475,"modified":"2026-05-06T19:35:14Z","type":"item","id":"Q1608923","labels":{"en":{"language":"en","value":"Actor theories in rewriting logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1780627"}},"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":"Q1608923$BBE1DCB8-4236-4702-AA0D-8F1D5C906C94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa149332bcce66a9f4c90c7474dea8a36540b886","datavalue":{"value":{"text":"Actor theories in rewriting logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1608923$FD952818-F251-49D4-B745-5B402124F0FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aeb2a00884f4b0184540e8f80431d8fdfa40c611","datavalue":{"value":"1001.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608923$9EB866C4-B529-4F13-A1C8-0E9429BC73BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8ab0ea434f3f84a90c0ece2325c2c31e83f3764","datavalue":{"value":"10.1016/S0304-3975(01)00365-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608923$A09EDFA6-1C9F-4B88-A399-7EB59713938F","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":"Q1608923$B1DE9499-0B2A-42AC-9CCA-A7256820F95F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1bc99bcddc7948f6b7e072519e66d1e0246f0d4","datavalue":{"value":{"time":"+2002-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1608923$F8D0C0F6-367F-44FC-9E81-74538145ABA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608923$38C03C2B-595F-46A9-A46F-D143CA61E583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608923$B2ABADD6-2217-4732-9FB7-BCB31FFE0533","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ad2a0ac99760ddfc7e4779c9b26b6272c8f6e94","datavalue":{"value":"1780627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608923$4DBEF58F-9314-435A-B85E-E45A805BFE22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2759d9581b9a515cccca488740926ec8ce2cb3d","datavalue":{"value":"actor systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608923$974A5F40-3812-41E9-B299-142EE251C579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608923$047DD480-6132-43CA-8FC0-1B9539BBB232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608923$87136065-B0B1-4850-97B8-9E36E8EE5A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cc1e2a5cb96b7cff5c5bc79191f2cb7dd76db66","datavalue":{"value":"open distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608923$EE2843D7-13F3-48B4-A9E4-6D25669D631A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608923$4150AB8E-13B7-4A31-B7D9-ECB3F61533BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5253adf80ccaa63b64b83319dd4776cff88fd8ab","datavalue":{"value":"interaction semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608923$7F2E260B-C4C7-4A5C-9A32-4F66F096C354","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$ED54E98A-0868-413D-AD2F-6F2FC6CEDA79","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$7EE94EFE-391E-44BE-9406-92273C0339C1","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":"Q1608923$579783EC-1F65-4143-802E-11CBCF5C482E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"549d0031328335eeadb553d8d00ea4f734879007","datavalue":{"value":{"entity-type":"item","numeric-id":4339018,"id":"Q4339018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$E973450B-CE41-4DB5-928D-28E8EFF904CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65a2252a8dc1b4ffdca34c16b9a92f44d942d857","datavalue":{"value":{"entity-type":"item","numeric-id":4138149,"id":"Q4138149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$E2034B89-135F-4FC1-8106-6BF606DDFA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ef99484234e0e2307a8d429f1e1a558442d61af","datavalue":{"value":{"entity-type":"item","numeric-id":2703706,"id":"Q2703706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$0AB79E06-0C33-4E7C-BCB8-207EE77B551F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58140cb8afbfd1e28d381fbe9968bc9f5b2e9afd","datavalue":{"value":{"entity-type":"item","numeric-id":4222853,"id":"Q4222853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$81EEFEDE-7B5F-48B3-84F3-02D0CF3D84F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6dbefe019d9c56696729fd3fd7342e2d9d0c465","datavalue":{"value":{"entity-type":"item","numeric-id":2722043,"id":"Q2722043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$FD351F7E-60D8-4A5C-A6EB-6298C6DC64BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c20dc756b1e1e440e48d28c5ef70d2106e826ba","datavalue":{"value":{"entity-type":"item","numeric-id":4222848,"id":"Q4222848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$857FCB02-E443-41E8-8EFD-A2A0BDE97923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$7BECEDA5-A22D-4652-9608-A24B90C08AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7256cb48326b99375f2c17e65eebd78abfa3f385","datavalue":{"value":{"entity-type":"item","numeric-id":1575845,"id":"Q1575845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$A2B8D0B0-E407-4E0F-AA8D-07391DF9606D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$E2C625EC-0C62-495A-ADD7-7B10394F72B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866aac8037c7e228ce6684f63634896ecc5b8e8e","datavalue":{"value":{"entity-type":"item","numeric-id":6104381,"id":"Q6104381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$ABAFA4B7-85F3-439B-A245-55BC0BA88000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$BCE3DACA-9E67-4515-9022-23A0009E5F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36848e736e9c80f059e3a353e82e48cdc48e192f","datavalue":{"value":{"entity-type":"item","numeric-id":4223002,"id":"Q4223002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$E590337E-C326-4C04-AC9F-809F6D712CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3828a83bcc2934b506bcc73ec2fb129db62361c8","datavalue":{"value":{"entity-type":"item","numeric-id":4270072,"id":"Q4270072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$72FE7DFB-B6E0-4870-8DE3-DCF64DC2B6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"547e0bb0f0243b3bd4f53108e3f65cb7835e45cc","datavalue":{"value":{"entity-type":"item","numeric-id":4222946,"id":"Q4222946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$F23BA216-6694-44D4-BE06-8BD303C6A62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a7de0ea52338ce457718be0a2ea3ad6240dc6d2","datavalue":{"value":{"entity-type":"item","numeric-id":4251113,"id":"Q4251113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$EF62E1CD-4EB4-4305-A891-02EE8E249D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6700c248eaf9aee7f35cd41263d4effc56ff608a","datavalue":{"value":{"entity-type":"item","numeric-id":4222865,"id":"Q4222865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$09C7FCA7-90A5-46BF-A9E2-D120999AA09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef43a8ea80fbeca29ec4a5ec002ffc210e5d1985","datavalue":{"value":{"entity-type":"item","numeric-id":1290314,"id":"Q1290314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$53E6F5F5-A969-468B-9ACB-2A3480DEA06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1ca431050860b12a75990a7c95c7a123454f2f","datavalue":{"value":{"entity-type":"item","numeric-id":2767188,"id":"Q2767188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608923$6AC10C7E-A2ED-4891-A2E4-1A70E8CF33E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d231012f3a3696e7406660a54ee3e9ff3b03145","datavalue":{"value":{"entity-type":"item","numeric-id":4222865,"id":"Q4222865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44f701aabb36930915c64817d6e1ec1b5c59463e","datavalue":{"value":{"amount":"+0.9000921249389648","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":"Q1608923$772591D4-1FCF-4DD7-94BF-60B28A7CF132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5116b9ffe707b1f65281ee6700781d93188679a6","datavalue":{"value":{"entity-type":"item","numeric-id":1290314,"id":"Q1290314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"978d14f600b85f750d937fdd852b3c6f61b4ff9a","datavalue":{"value":{"amount":"+0.8112870454788208","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":"Q1608923$1AB82161-255D-4C58-ABE2-499864ED355B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d223594e2bdadab991cd6c7d1b492c494f4dcbc6","datavalue":{"value":{"entity-type":"item","numeric-id":4762648,"id":"Q4762648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"978d14f600b85f750d937fdd852b3c6f61b4ff9a","datavalue":{"value":{"amount":"+0.8112870454788208","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":"Q1608923$44AE39C4-BB27-4BB2-A6F9-B2AD010CACED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ec0be74b43cd42500e3d2a6d7abc1db0941edf","datavalue":{"value":{"entity-type":"item","numeric-id":2767188,"id":"Q2767188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216467542e233236350edd37c6eba655bc9516b7","datavalue":{"value":{"amount":"+0.8090170621871948","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":"Q1608923$15F9D603-87ED-4CF4-B0D8-82F4FD562E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850a7331703938eb908d4df7e128267eace34ab4","datavalue":{"value":{"entity-type":"item","numeric-id":4339018,"id":"Q4339018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd8d49de7dff6629c489aeee28df8c217b893bb","datavalue":{"value":{"amount":"+0.7924391031265259","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":"Q1608923$B7E98528-C548-4833-BC33-90587BC38BC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Actor theories in rewriting logic","badges":[]}}}}}