{"entities":{"Q1331924":{"pageid":1342674,"ns":120,"title":"Item:Q1331924","lastrevid":70733556,"modified":"2026-04-13T16:24:03Z","type":"item","id":"Q1331924","labels":{"en":{"language":"en","value":"GSOS and finite labelled transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 626277"}},"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":"Q1331924$112B49AE-0301-4527-BC1F-3D1792409E74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38f1d52d65edf6480c635278728babd36585f521","datavalue":{"value":{"text":"GSOS and finite labelled transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1331924$8B4FBBE5-80D7-49EA-B6EA-358C0AEB6C30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0c71ccc28d91abf9a76eee3918abc156b382569","datavalue":{"value":"0822.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331924$7C3C8485-8646-47C7-BA35-13EAB7BEE3F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"248baef9851d3db4b3933c370fc693b6b90401fc","datavalue":{"value":"10.1016/0304-3975(94)90094-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331924$C37D34FE-060D-4E8A-BE55-407306C8AE1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331924$37B8C286-6FC3-4E10-A9D5-74D76DFC34B9","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":"Q1331924$4CDAE70A-F2B1-4953-8A2E-2753843E3A5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12c17d7316137b5457243cfe10f00c4bb5a56573","datavalue":{"value":{"time":"+1994-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1331924$19CE5173-BBC1-4471-A8DC-EC0BC53CEA91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331924$2FA545D6-80E8-48F9-9498-BF6E5029A68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331924$F77EDD9B-F908-4B30-8570-F96CE50DBD5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6240e74bfe6043d38ba0133e211c62da16332e32","datavalue":{"value":"626277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331924$234C5A41-E6CC-4436-812B-BDBD90C2BD78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2a3144bf51a5bb40c6da3cdb24d5ec866f3f76a","datavalue":{"value":"Plotkin style inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331924$5FB91BB2-54F7-4E39-9126-81CAE7CA0A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331924$0B228A76-79A3-463E-A136-39ABEF7DDDC3","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":"Q1331924$F2A65AA7-4E15-4BBA-A614-CD3D5772347D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bb8067cedee5fa9f283406484ec15019ff974f2","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90094-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1331924$09485C6A-A3EE-4AB2-BBF5-11C653BC0AF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1f7009a9c2cd1b3cfae434334ac06104e1529e7","datavalue":{"value":"W2038789187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331924$5820D7B3-0AE2-4D6D-8C77-1B32331304E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331924$AADFC6E8-FA2E-4E22-9C45-2C02C895F02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35e030d299d34323851896cfb85ba05314bc3be","datavalue":{"value":{"entity-type":"item","numeric-id":789894,"id":"Q789894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331924$CF0AE3F2-CCD8-41D6-ADDC-DC1262EDF77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"909660719fd22260daf48ee476618b838d03245a","datavalue":{"value":{"entity-type":"item","numeric-id":805246,"id":"Q805246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331924$561444F5-BCC3-462D-82E0-9303BB97FD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fcd254ec8f657762d462bbc49ef06ba594d598f","datavalue":{"value":{"entity-type":"item","numeric-id":4727412,"id":"Q4727412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331924$F0A089DF-C3D1-450E-9BCE-D5E176BFD01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331924$055FC26A-169E-4053-9394-A9977509ADEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef03999b796c54be743039f4a3fb23feae152e0","datavalue":{"value":{"entity-type":"item","numeric-id":4036587,"id":"Q4036587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331924$216454BD-DE33-4F2D-AF23-BFE69D6A8453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffc9ed5b98768cce8e1252313bc3131d2d4d9294","datavalue":{"value":{"entity-type":"item","numeric-id":1188804,"id":"Q1188804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331924$9D0CB1A8-3F4B-4748-A675-B8E602A24C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52652c34df8d0b687cca9db4bc019d94655cc2bd","datavalue":{"value":{"entity-type":"item","numeric-id":1323345,"id":"Q1323345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331924$68D4FD39-EB83-43F7-A002-387DDAD4F368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331924$8172FFC2-3840-48D3-A16A-770C007019A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1cd885484862938176d5982fbf25717f102d36","datavalue":{"value":{"entity-type":"item","numeric-id":3969860,"id":"Q3969860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331924$88998515-C5A1-43A8-AAD5-039F03A91135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331924$B79BC7EC-843C-4032-AE10-C008FED141FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331924$D905A26B-FCE5-4E28-BFE5-FED67D4D1E5F","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":"Q1331924$FFBA3DE0-4534-4613-80BB-211B574D32BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331924$E41F7D4F-6F2A-4906-A7CE-6AAE9F16585B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c45f1502c71e48f475d0240f9ba1fae43f8ba9cb","datavalue":{"value":{"entity-type":"item","numeric-id":4037106,"id":"Q4037106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331924$9AB0934C-838C-4BE1-8A30-871B64090CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331924$1E52BE03-04B2-49A4-9B1F-142A08AA1DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331924$90CEFC21-CFFB-4F45-AA5B-BE042A23C3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331924$9F346E5F-122C-4410-9836-E169B80802FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11ea5c2da66a2858bec19443b0c09c28f422dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3657409,"id":"Q3657409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331924$B926FED5-B158-4429-AE79-68E5186C026A","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":"Q1331924$50F347D7-B4E9-49B0-8BD4-AB07706EA21A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596ed2397b994ea781df743f4d9e5a0442b1a6e1","datavalue":{"value":{"entity-type":"item","numeric-id":265819,"id":"Q265819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45de58f831f0a1de29952c5909deb58d968554e","datavalue":{"value":{"amount":"+0.78614741563797","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":"Q1331924$DD4BD791-2A0D-433A-AF50-1FC94BD557E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d09e9f351229d6d6203dc7f7bd4b5780c7f4ece6","datavalue":{"value":{"entity-type":"item","numeric-id":2842551,"id":"Q2842551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc7c44d3fd1a1dbbc5908f146023a37f1a65ab3","datavalue":{"value":{"amount":"+0.78303462266922","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":"Q1331924$03136C79-3C19-4977-9C40-EBB230189370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6502048d48bfc14a99e826434572722cec3bad4","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c95a45931c462f3df88118a4234af59924e5479","datavalue":{"value":{"amount":"+0.7605237364768982","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":"Q1331924$C01B94DF-B686-4D79-AE28-67AEFB7196FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73b47747060d769e1eb8f7da4c7221d4fed59aee","datavalue":{"value":{"entity-type":"item","numeric-id":2796231,"id":"Q2796231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d81fbcd51434b3bd752d5e4ad9b7fed9a29cfc2c","datavalue":{"value":{"amount":"+0.7546320557594299","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":"Q1331924$B05F9154-A493-4C2C-8E65-023F3C2DF198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b065ed31bed0614e42256f662edfa7ea0f578e9f","datavalue":{"value":{"entity-type":"item","numeric-id":1878716,"id":"Q1878716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98bffad8e4b5f95d43d5f69ce6b310daadd90daa","datavalue":{"value":{"amount":"+0.7492220997810364","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":"Q1331924$C02D75BC-1BDB-494C-A2AB-6DC1536829A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"GSOS and finite labelled transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/GSOS_and_finite_labelled_transition_systems"}}}}}