{"entities":{"Q1012126":{"pageid":1013974,"ns":120,"title":"Item:Q1012126","lastrevid":66008730,"modified":"2026-04-12T06:54:56Z","type":"item","id":"Q1012126","labels":{"en":{"language":"en","value":"Bialgebraic methods and modal logic in structural operational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5543807"}},"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":"Q1012126$58D37EB6-E918-4948-B7F3-38689D0433F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67968d248ee2574fdadba1b154386a6518bb5958","datavalue":{"value":{"text":"Bialgebraic methods and modal logic in structural operational semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1012126$41A24B65-1899-4127-9AA2-1D3446E17BF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cb58dbb5f406724294314ddc1c0f4add4c16231","datavalue":{"value":"1165.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012126$3F0FD4A4-B884-4904-91CA-B03B7C4CAA8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d3118136e3f1e7a1e2bfd0b43cb9b6b990ee60b","datavalue":{"value":{"entity-type":"item","numeric-id":383370,"id":"Q383370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$49CF7B18-6C54-419B-BEFA-4DA79BD40F59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$2B853C7C-763A-432E-B3BB-CAE07D4C5E8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a70e3fb7efc077ae8b5215707528be5246c293fd","datavalue":{"value":{"time":"+2009-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1012126$C231D690-9C74-4C76-8D3D-00D6AF54AFAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012126$D98CFE8E-9EEE-4A0A-ADF1-42C721F9132F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012126$DCBE9032-2776-4238-A946-460C3F178097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012126$2B9CA357-2F59-4473-B3A4-24075EF06371","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b106992bdd157065561b9b7fa68f7d11ccf192f","datavalue":{"value":"5543807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012126$27287D01-27A7-479D-B831-A4F3F7C4EBAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012126$703FCFF0-88B8-43D3-B95F-5B867932D9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012126$7C237704-4A8F-4844-9359-7094278A889A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1badf2e98acd66deab281042fd75e59bf02b11eb","datavalue":{"value":"bialgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012126$6D094A91-D32E-4D90-BEAE-9DA2895B90E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012126$D427BCA4-5639-42A6-94DC-471C81057010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7403eff979de4e15d55fa77833ff6cf2e2ae08f","datavalue":{"value":"congruence format","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012126$A0B66E7E-3B92-40E7-B7BD-14B486A56275","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$28C182DD-E64A-4383-AF46-E8A1527D3FC6","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":"Q1012126$2EC4BA72-9C3F-4B09-A136-5FD5AFEBDABB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cffa8772ec72cc29e1953b9c8118b06f8316f18","datavalue":{"value":"https://doi.org/10.1016/j.ic.2007.10.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1012126$0F23CA68-EB5E-4738-9EB7-80A1B419C70F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6e8ed20f06cf15b0b9987beee4c810a3b1d12b0","datavalue":{"value":"W2100996925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012126$B2E100EE-440D-4293-BD74-DC6BE03ED8B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$47B552A3-EA1F-4672-AE6C-C21A6D7F9AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$F71752C9-403F-4963-9055-2152C1FB35F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$2E53D3AC-F9FB-48E4-B110-ED49E14FD27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a71c1a2d83eda62a52b711e714b9d81f69641bb","datavalue":{"value":{"entity-type":"item","numeric-id":2760247,"id":"Q2760247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$65E56E05-B1DE-4EF7-BA77-DA7F5AA859D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740e35ec6a97dccfab3cea00fb5fb7d4602bef5d","datavalue":{"value":{"entity-type":"item","numeric-id":2842551,"id":"Q2842551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$05B4EAC6-B175-48E1-A380-E0322CF301BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e66c63c51508778ce501709c80be252e81c998","datavalue":{"value":{"entity-type":"item","numeric-id":5277691,"id":"Q5277691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$E5EC55BF-FB5C-42DB-832F-9D7749CED2FF","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":"Q1012126$BD85E4E2-5AA9-47C3-8022-EF821E6F378F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f07a5337aa99edf273489b307d42f143920052","datavalue":{"value":{"entity-type":"item","numeric-id":5705904,"id":"Q5705904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$3C1E5669-B9F6-4F88-929D-8DE058A82509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72fc53b330df65c06db898861ce0dd086aab1c9","datavalue":{"value":{"entity-type":"item","numeric-id":5899087,"id":"Q5899087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$01851CD2-C190-4376-B92B-42FD148B3A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36d97743a25630c342d09229de75d87ff0c3fde","datavalue":{"value":{"entity-type":"item","numeric-id":4484504,"id":"Q4484504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$71E17CD3-706E-4C46-832B-32B134A9DAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5b855c6811e0350ff03dca58128bd70ad02611","datavalue":{"value":{"entity-type":"item","numeric-id":1887152,"id":"Q1887152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$B8BC938F-C31C-45BB-8517-F77E9D031E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef1743e269f4a473b85e0bafacd688daf4063dec","datavalue":{"value":{"entity-type":"item","numeric-id":1603820,"id":"Q1603820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$D5F3F2D3-1120-4955-8F5A-CF032736E5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9853ebd672b3d807cdf988b6f20dc6e1babdc46","datavalue":{"value":{"entity-type":"item","numeric-id":1012125,"id":"Q1012125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$E22FA498-DF1E-4571-AB3E-E929E3345289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcfd5d986a476d287890338f885cfd01a0953f2","datavalue":{"value":{"entity-type":"item","numeric-id":1917088,"id":"Q1917088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$115278FF-96CE-46F6-83B0-10BDBC30709A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4f32daab0f23e9f4d2715874169a1d1ff021ac3","datavalue":{"value":{"entity-type":"item","numeric-id":5900816,"id":"Q5900816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$7EF1E06B-765C-40F9-8F52-EB225DA1709D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$6932E9EA-B7EB-4FB3-A31D-70A727CA4CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$96F09FFC-183C-4EFE-8560-6DFDD6933313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f85766aed5174f55a67db76084f9289f72d7c2c","datavalue":{"value":{"entity-type":"item","numeric-id":2852093,"id":"Q2852093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$94AB9902-54A4-4034-AD99-1D8638C7C2AA","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":"Q1012126$07664777-0A0C-48DD-ABB8-DE22A4289A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947151fe19aacb6d7f2122e9700934928aa6510d","datavalue":{"value":{"entity-type":"item","numeric-id":2828459,"id":"Q2828459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$78C8DA3B-DA65-4E3C-93FD-CDA4B9D31ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"936c7c4a052989c715e3bebcddd81b4a8fd16339","datavalue":{"value":{"entity-type":"item","numeric-id":2495644,"id":"Q2495644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$E786558B-1E26-4BDA-99B8-60B7B70C71F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$193494A1-1D08-49D2-9D0C-E5847F8E7E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa72f87654ba7f41667d5c3d8d163316ecad186","datavalue":{"value":{"entity-type":"item","numeric-id":2760248,"id":"Q2760248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$B1A5C99E-411E-413E-8AD3-137DEE629515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3ff86ad23108d9d6f16f4db17263b647142c02","datavalue":{"value":{"entity-type":"item","numeric-id":4737185,"id":"Q4737185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$D5300EA6-B81F-4462-9D8C-30BF4BF2DCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f78591bd8d8c2701d7ecc803eca1b88895e88b0e","datavalue":{"value":{"entity-type":"item","numeric-id":2841307,"id":"Q2841307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$26DAB3B3-7AB6-4D45-AF18-3D5857382413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53fbb9f25385f282339d93cdbfd798a787a3b7fa","datavalue":{"value":{"entity-type":"item","numeric-id":2847814,"id":"Q2847814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$4C2A468D-D4EB-4448-AB8A-4819DF173378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc93dbd558dde78e767963e06fbd29119505efd","datavalue":{"value":{"entity-type":"item","numeric-id":2495646,"id":"Q2495646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$A84B007F-9C8F-433D-906C-6FF18587EF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45878fd4eb67e5421fec78b7ae9befc0923926c","datavalue":{"value":{"entity-type":"item","numeric-id":1878714,"id":"Q1878714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$810D9F1A-32CA-4360-ADD8-4CAAA274C5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403827a0693284994bb3383fb72ddb820cc9afa9","datavalue":{"value":{"entity-type":"item","numeric-id":2848127,"id":"Q2848127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$7A14DA81-BE55-4A97-99A0-0F5501BEE3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdfc480f1fb47c7db3936fa934d6bed4ac48111","datavalue":{"value":{"entity-type":"item","numeric-id":1012126,"id":"Q1012126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$4E2DED6B-AE8E-41AD-AE2B-3F60C886F144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d104a4841be68a1ad1e917eff0a8d09046a2ba1f","datavalue":{"value":{"entity-type":"item","numeric-id":5262938,"id":"Q5262938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$F41EFE09-3256-4276-AF6F-6B280ECF7491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e8484b786235dadb6233afa33494507600dda56","datavalue":{"value":{"entity-type":"item","numeric-id":5900559,"id":"Q5900559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$FDB45841-517B-4F78-BAF2-835F03E1252D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1ed237b91f52f33e31470299fe61c5bb606877","datavalue":{"value":{"entity-type":"item","numeric-id":4533390,"id":"Q4533390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$5C682CD4-E745-42BC-86AC-650711139E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d2af99d6b473896566689317eadbb771e387b5","datavalue":{"value":{"entity-type":"item","numeric-id":4499306,"id":"Q4499306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$8C8183A9-538C-4D0F-895B-F95E3074F059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08cd48db52ca690752b9bbc8ac45a432b3065199","datavalue":{"value":{"entity-type":"item","numeric-id":703525,"id":"Q703525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$263E906D-6CC0-4CCC-9E7B-D10EC8E82BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$A77BC90D-1CA0-4703-B322-203F09C5C066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$F100CC5E-EB63-4B47-8492-C30614714B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5619c3205818941114ad16f664caa12d84a974","datavalue":{"value":{"entity-type":"item","numeric-id":2847818,"id":"Q2847818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$B068AAB9-F1CE-421A-AB9A-7B77AEDCE9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$4EA28CE3-8979-4853-8857-C778D24AF533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4af05e544e8b4fde458a0d4a253ccf27c1d5c75","datavalue":{"value":{"entity-type":"item","numeric-id":2763651,"id":"Q2763651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$CF80B598-5923-4805-A9BC-20DB2CABD171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa85e1d4c083b675b923ad4615fb383be1f76c6a","datavalue":{"value":{"entity-type":"item","numeric-id":3623942,"id":"Q3623942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$DDCC236F-461E-4B68-8451-4640DBCBC659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60670651fe34c8574d07c10a2fd425d5e1806fae","datavalue":{"value":{"entity-type":"item","numeric-id":4256313,"id":"Q4256313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$452EC0A0-0579-4E10-8B80-65D64CC3763B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$D1968CA1-6526-461A-A0C0-3A03E16F9152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ebcde6f9acd989964b956b073cee90454efab1","datavalue":{"value":{"entity-type":"item","numeric-id":5705903,"id":"Q5705903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$157D6974-2B1D-4175-8CB8-78C803A869E7","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":"Q1012126$E06A8C45-7009-401B-B725-1AE23902F831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb700a804f495f74faa9557fbe427450b58c650d","datavalue":{"value":{"entity-type":"item","numeric-id":1878715,"id":"Q1878715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012126$F8D49D6D-6E20-4597-B368-4DA7D4F940FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32d44d4a0f7349fc15ae419cc3110f63102f116f","datavalue":{"value":"10.1016/J.IC.2007.10.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012126$179BE14E-A70D-4CF7-AEA7-06B0384522C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31a44a14351d643d4c82d195776c3efc2bf024c","datavalue":{"value":{"entity-type":"item","numeric-id":2866314,"id":"Q2866314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20880d5136063d00dd51c7e3fb538339b9c7c624","datavalue":{"value":{"amount":"+0.9373229","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012126$8710DCDD-D280-4EFF-99E1-0C0E688D3422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7624953e18541fd5529c19f830455ba77535e2b9","datavalue":{"value":{"entity-type":"item","numeric-id":2919456,"id":"Q2919456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535aad332c445d42ccf8fe542725a5e310efeb0c","datavalue":{"value":{"amount":"+0.9360383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012126$609C7AFF-CEBA-485D-999F-AC44AEB0AD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e436d1017ac1089354b170f809060d95ccd0548","datavalue":{"value":{"entity-type":"item","numeric-id":639646,"id":"Q639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f84948250c2df116604f33a74ccdb1434f86826","datavalue":{"value":{"amount":"+0.9341173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012126$AE7C6A29-A27A-40C3-8F34-C49E2C9217B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ead73df7557edca07f09e604dac87f42ca139d5","datavalue":{"value":{"entity-type":"item","numeric-id":3971113,"id":"Q3971113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee4a0788370fc419e8190efddf20af2e24ce14d","datavalue":{"value":{"amount":"+0.9235626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012126$12C8F0E7-DDB8-4595-B614-FB52FF21F7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fdf5010a988549be77ddaccc79f64b6433e8c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5246719,"id":"Q5246719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06f161ca2b6868a05ce08c8f8869cf6fe899dfdc","datavalue":{"value":{"amount":"+0.9098444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012126$36B48FA2-063B-4825-88D1-E5FFD93C7A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbc04d1671725924d225331ac46fd8c4c170b551","datavalue":{"value":{"entity-type":"item","numeric-id":2145869,"id":"Q2145869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97515e83cd72096ad023bea774df19e9de41bc2","datavalue":{"value":{"amount":"+0.9080337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012126$C6E3D88A-D0E4-4F53-B22B-1368C6C9A081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6e70573b32bc2e1bcdc519f53a69a26d42ee15","datavalue":{"value":{"entity-type":"item","numeric-id":685423,"id":"Q685423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0967c384ea7931be57473fe4e74dd7e54bfeae","datavalue":{"value":{"amount":"+0.90026504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012126$411D08E1-49CF-43AD-907F-997FF586BEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f18198ece92fa70dd263ef8d237ba05912b31a","datavalue":{"value":{"entity-type":"item","numeric-id":3549311,"id":"Q3549311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef754560059272827e7b7dac853d29e1a50c7b05","datavalue":{"value":{"amount":"+0.8979396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012126$38101C09-181A-4D09-9C59-4D8F32F31DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a338038bb7c0163a09a97e703e6519269acb92","datavalue":{"value":{"entity-type":"item","numeric-id":4203830,"id":"Q4203830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b20ac84543e26754d555d074dd27c9fcd9bc1ec4","datavalue":{"value":{"amount":"+0.89736205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012126$134852C8-8ABE-469E-9716-1052C0AB8F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b95351e86add5273650e9ff3235d353e8a420fc8","datavalue":{"value":{"entity-type":"item","numeric-id":5410468,"id":"Q5410468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"116faa21e77204f943170fc2a84e7953e53113bf","datavalue":{"value":{"amount":"+0.8968039","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1012126$25FDB1D1-2608-46AF-8E1B-CA6F2AE6205F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bialgebraic methods and modal logic in structural operational semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bialgebraic_methods_and_modal_logic_in_structural_operational_semantics"}}}}}