{"entities":{"Q6649538":{"pageid":14260695,"ns":120,"title":"Item:Q6649538","lastrevid":95997392,"modified":"2026-06-05T10:11:37Z","type":"item","id":"Q6649538","labels":{"en":{"language":"en","value":"A small-step operational semantics for GP 2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7954919"}},"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":"Q6649538$11A2B54B-3176-44DE-AF8C-893C821C031A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8f13a6261a123e1ac8a3222c50721ed8583c207","datavalue":{"value":{"text":"A small-step operational semantics for GP 2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6649538$68F427C8-F7F0-404E-8293-14BE68F4C52F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3018b033d9112c46de537d7e3cd41d12998850bf","datavalue":{"value":{"entity-type":"item","numeric-id":5021226,"id":"Q5021226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649538$A2B8FF61-711D-4CBB-B61D-C9C3405FBDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cd591e7b6049802668eb29da136468a116bf893","datavalue":{"value":{"entity-type":"item","numeric-id":516037,"id":"Q516037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649538$34832FB4-4752-43DD-B8C7-0E3ADECAABB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66247bf01cf793896a6bcf8ae45be2cb3774bdfc","datavalue":{"value":{"time":"+2024-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6649538$EEC8CC91-1BDD-4494-8774-5E86D001CAB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649538$428C77AC-926B-480A-B665-900591A15B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649538$F0123FB6-6AF4-4C9C-AC10-EDA377D014BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f443f8b2e6baa35ef6c9403d6f526774fadd09c0","datavalue":{"value":"7954919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649538$A4D2EEC8-264B-47A4-98FF-61151026BEAD","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":"Q6649538$365A8ABF-113A-4E6E-9644-58FFDFDA1199","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f640c010e86f562d69961f36d8777ab01b6e3073","datavalue":{"value":{"entity-type":"item","numeric-id":1056534,"id":"Q1056534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649538$C110A941-478F-4970-BCB6-7D3C21BCF68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84026f7e65f43228312e548854809b68842e440b","datavalue":{"value":{"entity-type":"item","numeric-id":299206,"id":"Q299206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649538$D2CA56AD-4D9A-471F-9607-DEAE0F6E1E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649538$6DDFBC33-5CF3-4D17-A911-E7F13E46A31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649538$5C161860-C2FF-4F1C-831D-69310A9CE194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d2a5930b67fedf7ddfefc5427ba29961082dee","datavalue":{"value":{"entity-type":"item","numeric-id":2491953,"id":"Q2491953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649538$BF79AE8D-483E-402C-90BC-8ED6230447D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95213ed61e1cc3e450a500294edf29985451bfe","datavalue":{"value":{"entity-type":"item","numeric-id":1424357,"id":"Q1424357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649538$A28A75B1-BE15-4DAC-A2F1-FDF681B65985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f11e6c5f7658cebcbd73295fa81680ba3d6035","datavalue":{"value":{"entity-type":"item","numeric-id":1445043,"id":"Q1445043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649538$CAE7F99B-810B-465E-B1D6-C0186E9BF9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d4b3fa7e45928bcee6b16f759f549d80fde972","datavalue":{"value":{"entity-type":"item","numeric-id":884946,"id":"Q884946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649538$5AC07FF4-A215-4022-A145-781ED3315282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649538$5DEF6A24-50F3-428F-8220-1053F604D449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d0e0d112fa0a82dac9d99cf9b0794e5b60f92d","datavalue":{"value":{"entity-type":"item","numeric-id":516038,"id":"Q516038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649538$AFCB05F0-1887-42B6-B7F1-14EE43A895A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a5aa50e889fbd2a02e8c6790dc8c54b50583d6","datavalue":{"value":{"entity-type":"item","numeric-id":4226069,"id":"Q4226069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6649538$0FA22203-47BC-4D11-B802-08386ED48262","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea1fb170ee140c50004d57122167109634991321","datavalue":{"value":"10.4204/EPTCS.350.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6649538$B4563EA0-29AE-4984-A7C1-446169F7B6C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb71dab7253d12445afc95addb3f1341d19da3f","datavalue":{"value":{"entity-type":"item","numeric-id":3642526,"id":"Q3642526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06d54fa6b4fcb63e8c04e28678a054289e944ce8","datavalue":{"value":{"amount":"+0.7688969373703003","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":"Q6649538$B3A35C5C-5B89-4C06-98A3-0324DAA0D3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b93d0514a8aa8726b9d47b94f275665f97f25d","datavalue":{"value":{"entity-type":"item","numeric-id":5015376,"id":"Q5015376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"533a06580a7203011975d5a10abab5a747eca421","datavalue":{"value":{"amount":"+0.7305821180343628","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":"Q6649538$DD2386F9-6B53-4545-B02F-C05ADD7CB1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"216f74063e711476b25cd911a117e6312377850b","datavalue":{"value":{"entity-type":"item","numeric-id":5187820,"id":"Q5187820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfea213abf20b00d862e630869ce2da8f05642e1","datavalue":{"value":{"amount":"+0.7150946855545044","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":"Q6649538$CE77CB1B-EA89-47A9-912A-D1F6725F70C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b8263ba5291119cc8bae18cb7ae18b20fbb49e","datavalue":{"value":{"entity-type":"item","numeric-id":2847853,"id":"Q2847853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55a3654b04f9f2d685bbf1ad7a7c1fb37e5e1da","datavalue":{"value":{"amount":"+0.710139811038971","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":"Q6649538$9422B1A1-4ACD-4820-BC8B-0EE6FF710FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a98d0e9b4827858902e118f43ba8257276ea119d","datavalue":{"value":{"entity-type":"item","numeric-id":6091304,"id":"Q6091304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15eb83350dda6e1ad39ad004b6fc2ed64999eae2","datavalue":{"value":{"amount":"+0.7081780433654785","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":"Q6649538$48C28085-5052-4546-BF7A-F5A9EBB73390","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A small-step operational semantics for GP 2","badges":[]}}}}}