{"entities":{"Q814896":{"pageid":816744,"ns":120,"title":"Item:Q814896","lastrevid":64543248,"modified":"2026-04-11T20:36:28Z","type":"item","id":"Q814896","labels":{"en":{"language":"en","value":"Algebraic specification of agent computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5004485"}},"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":"Q814896$F835CBC8-F659-450B-B295-EED04BF9F739","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e15194c9b8c11caf62e1182a388bea92a25506d1","datavalue":{"value":{"text":"Algebraic specification of agent computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q814896$2221F18E-6A43-4AD9-9463-7C3DAADCFCDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fc04974dc06ffd12a5156dbd15fd82afd204d99","datavalue":{"value":"1085.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814896$303D0DD7-705B-48BC-8241-22802136A68C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b209f27255d62e2814b8f2b8187fd8d91aac06d","datavalue":{"value":{"entity-type":"item","numeric-id":209141,"id":"Q209141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814896$E454EE05-3BFD-47FC-966F-7D7E485E00FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814896$31EBDACD-2F99-42D6-AC67-F8BBA522C83D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7be842e5bc1b54667cb2f669eb29d91c2f271633","datavalue":{"value":{"time":"+2006-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q814896$2FDE6725-5296-4C28-B417-1BB004ACB16F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814896$1FF94F4B-F71F-4B4A-A96A-25143B5B3E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814896$403C18B3-79A9-498B-A6C6-00308FC04185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814896$AD16FE7D-0E01-419B-9B85-CB317D96BB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814896$4537E9D0-ABA1-4FDA-A894-03BB07C9D575","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"533619e400428f845e05ced6cbe9a89bffe711f5","datavalue":{"value":"5004485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814896$2DB3BFAE-EBA1-446B-BA71-257B775CC19C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a33c8bac39b5732494efee665dbee09e2c085d03","datavalue":{"value":"\\(\\Psi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q814896$469C73AA-1793-454E-AD9A-32E6799670A7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"371406a043e069d30f6f1d468943360839c2befd","datavalue":{"value":{"entity-type":"item","numeric-id":18320,"id":"Q18320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814896$D034B1E6-DB67-47EC-90E4-D3D50007269E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aece4cc3af1aae8d3bcead98dee902db21b4cfeb","datavalue":{"value":{"entity-type":"item","numeric-id":21410,"id":"Q21410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814896$5D235146-8285-441C-87C6-27FEF760DACC","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":"Q814896$82AF4DCD-95C6-429A-B47E-763869E9F40C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"187f4024d1fe36d66c3613f18ff6b2fc23dad8fe","datavalue":{"value":"https://doi.org/10.1007/s00200-005-0172-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q814896$95BC7762-3528-4801-848C-B542E49997ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18db85bba98cfc27ec3e34d8f80085dea154d470","datavalue":{"value":"W2076495537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814896$E7ACE51F-20B8-4CE9-B80A-2F73C35F8CF0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"354985d83868ff9d88e164f5936ab486c8dbdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":1190491,"id":"Q1190491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814896$B42478BF-0453-4DB1-BF67-5E9E10625024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814896$7D21B500-CD6B-4797-B31D-F05505C2532E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a5be0c101b23bfa62ae4840034b8ca646534b1","datavalue":{"value":{"entity-type":"item","numeric-id":1079949,"id":"Q1079949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814896$17D2C4BA-6523-44C3-9552-41A2E13A19D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814896$4B635B13-1550-4241-85BE-EF9AFD7FB952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70dfde9baf8672cc46f9fcde87d0d7bc00800f98","datavalue":{"value":{"entity-type":"item","numeric-id":3198880,"id":"Q3198880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814896$F3989D3E-A067-4D5F-9532-B5D26D456FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f6ae7bbae9e11da2fc06fb3e8d55d1cc5c84043","datavalue":{"value":{"entity-type":"item","numeric-id":5184391,"id":"Q5184391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814896$68B92B8B-6AC5-4D17-BCE9-528F52A4A536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bb9d68e5342b56b1bc7bfe269d3e9f1ab35a29e","datavalue":{"value":{"entity-type":"item","numeric-id":4423028,"id":"Q4423028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814896$F40D3E18-CF58-4B38-A3CC-69522B1A5804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64925a0e80b80d51476d37d8f87f69420dc0d4b6","datavalue":{"value":{"entity-type":"item","numeric-id":4739284,"id":"Q4739284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814896$1F4D2D77-7443-490C-B971-059EDFB9CEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814896$E3777BD9-566C-483D-B55E-BDC9AE9C960C","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":"Q814896$02F1D6A2-04FB-4FF5-822A-CF022684D757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564fd9e8b23f01c7a64fcaac1de814ffa56a5025","datavalue":{"value":{"entity-type":"item","numeric-id":4028821,"id":"Q4028821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814896$D72184AC-A3A2-4C98-9ECD-E534593303B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2404ae1b749d5d39e85ae495f2d6b6dfa333160e","datavalue":{"value":{"entity-type":"item","numeric-id":4818861,"id":"Q4818861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814896$2E5B4F01-61A0-4B20-94B0-FBFDD0388656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a0cdcfdba2cb7be20b3ff60a87448ba5f273bd","datavalue":{"value":{"entity-type":"item","numeric-id":4847024,"id":"Q4847024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814896$B16EA8DC-F65A-4699-BE39-C1C1FF86E81E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"266026c92b572dd59e4acfefc4d9b4a02039f4d2","datavalue":{"value":"10.1007/S00200-005-0172-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814896$7BA0C078-539F-498F-B3E7-B7995B1BD336","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ddbbd7a61ef7f7ad5d2c22bb3e17f55e73bbc84","datavalue":{"value":{"entity-type":"item","numeric-id":4739284,"id":"Q4739284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"984452e4e1a4a26debac00e4211be47e4b7da136","datavalue":{"value":{"amount":"+0.8521863222122192","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":"Q814896$6D66F10A-545D-4886-BA59-27A2B38AFE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"243314ceac52f89f19e4fb6725007d7f2b5fd45d","datavalue":{"value":{"entity-type":"item","numeric-id":4423028,"id":"Q4423028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26342ba187f8489763d27aefa9ab4cab17b1b3f6","datavalue":{"value":{"amount":"+0.8380785584449768","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":"Q814896$5B1ABD38-79EF-47DA-A6C2-C6C00A87DFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4765490b71df66ebda6402fc918778a27c39b1f","datavalue":{"value":{"entity-type":"item","numeric-id":4536761,"id":"Q4536761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5afacdd9ec27abcce985d4d33d9c0ac736f6b860","datavalue":{"value":{"amount":"+0.7523309588432312","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":"Q814896$DE0735B0-5835-44AF-B28E-DBD891CA6F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2902fb657c9a9d9dca899388e5732b2b742bc3","datavalue":{"value":{"entity-type":"item","numeric-id":4819010,"id":"Q4819010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37903ef884e5af166aa87fad3ebcce0f4ba46548","datavalue":{"value":{"amount":"+0.751099705696106","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":"Q814896$5991AE3E-8D9D-41B7-8903-DD9360F99303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd5a6dc936a7f2e2867c0cd4af9b79f0428d471d","datavalue":{"value":{"entity-type":"item","numeric-id":2747743,"id":"Q2747743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7059bd3ede477e34fce6951300dce790e5664b0a","datavalue":{"value":{"amount":"+0.7433176636695862","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":"Q814896$F07C9149-856C-44C3-B382-5A895FEDE4F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic specification of agent computation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_specification_of_agent_computation"}}}}}