{"entities":{"Q5048942":{"pageid":7078519,"ns":120,"title":"Item:Q5048942","lastrevid":40756013,"modified":"2025-04-04T14:17:09Z","type":"item","id":"Q5048942","labels":{"en":{"language":"en","value":"Minimal transition systems for history-preserving bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614485"}},"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":"Q5048942$425DDB15-BA8B-44C9-A2D2-CFA7912DC18C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de2e0008559284abb294f9f4d69d5b0ed571043d","datavalue":{"value":{"text":"Minimal transition systems for history-preserving bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5048942$6FD8A972-98A7-4FEA-A9F6-99B7862B6BA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"570288ba94bc5914dd2f898bbec02af7bc0cf5e9","datavalue":{"value":"1498.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048942$68AB8536-B4A4-4AED-9437-ECDF745E1C63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048942$69A6FCE9-9C8B-4C0D-A9F4-C5DB96E6DF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"960c7faf3b9ee15079ddbeb2d5d3b32b315230a0","datavalue":{"value":{"entity-type":"item","numeric-id":199007,"id":"Q199007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048942$4147A19C-A398-4D26-B47D-9AC386B7D275","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048942$A5C9D9C3-8AB9-4B0E-9BA6-C3E37577E2D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5048942$FC54D4D1-0E87-4B51-8734-D2229BC73F46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048942$3C178C80-B485-414B-95A1-8D719D95B6D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26e558d4affed6d53209d7d2e074a10dff0a8f15","datavalue":{"value":"7614485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048942$CFEC343A-D2DB-437B-9045-A231A937B9BB","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":"Q5048942$B78A88CB-9519-4545-8C90-351E6A6630B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e2dee784d227512258130aed492692de20b3f21","datavalue":{"value":"https://doi.org/10.1007/bfb0023477","type":"string"},"datatype":"url"},"type":"statement","id":"Q5048942$3760997E-69E6-4C02-8AD8-B818773AE661","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5083d193eea9500b709f4b76435e33aad306091","datavalue":{"value":"W1490651621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048942$CA9CE89F-6A1E-4B21-AE5F-0C4445AE2B0A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc59e1a97f709973d7c5b044b91b207ea41b5c1","datavalue":{"value":{"entity-type":"item","numeric-id":2639636,"id":"Q2639636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048942$CAF073D8-86E9-479C-A332-03B357460065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1891e4045cd93999a8de2705a064dc22e7473b19","datavalue":{"value":{"entity-type":"item","numeric-id":685414,"id":"Q685414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048942$D810E70E-4F71-4D80-88CD-906299917EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0d2e34aa930e925e375883c6bd748955e5f0c0","datavalue":{"value":{"entity-type":"item","numeric-id":4733427,"id":"Q4733427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048942$AEE5FC4E-254A-47E2-B5BB-16C2C98E44E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2af4c0d8f7240bbf9343bb6798fb99c89343b13","datavalue":{"value":{"entity-type":"item","numeric-id":3343446,"id":"Q3343446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048942$4827A000-5A01-4666-BA8D-9DFA730D0124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb1cbb7867a200f2abd5447ecaa47e9811d7878","datavalue":{"value":{"entity-type":"item","numeric-id":1365677,"id":"Q1365677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048942$CB434536-AF88-46D7-BE17-0501D6DF970D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf86784e12409e0496307becee9f2e0cd19296d0","datavalue":{"value":{"entity-type":"item","numeric-id":1317428,"id":"Q1317428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048942$D862017D-81AD-4FF6-901B-1C9646341A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048942$7BA60B46-6D68-4498-8A38-D5552EC39078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048942$F5D67214-4EC1-404C-BF48-2966A5E2A3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cac7fbe3edf8dd45e61377edf3265a1c6bdbb5","datavalue":{"value":{"entity-type":"item","numeric-id":3805922,"id":"Q3805922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048942$E313B145-6EDE-42A9-95C6-1356D39FF456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8537f6a57826b3db1ef7a461ab0575417933ffc7","datavalue":{"value":{"entity-type":"item","numeric-id":4036588,"id":"Q4036588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048942$F2DEDB5E-531E-4630-A0D2-87456A455138","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cfa5a882640b75179748f6d5dc9c146e95469b5","datavalue":{"value":"10.1007/BFB0023477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048942$3BD2E972-EDF6-4D1C-AEB2-5CA4B3561490","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba449594cad0374aeb3a407b72a5957f4b2c4558","datavalue":{"value":{"entity-type":"item","numeric-id":4941914,"id":"Q4941914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be3aeb07d1116949a1784b6d6833a74188277ef3","datavalue":{"value":{"amount":"+0.8801548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5048942$8D77DDCE-6D80-41B7-ABD8-AB64C262A73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f736f4a160aa31c7cbc23d81dcab8692a6c5a7ac","datavalue":{"value":{"entity-type":"item","numeric-id":2722031,"id":"Q2722031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ee12f43d2c7d58640dfe562837a1011fd88713","datavalue":{"value":{"amount":"+0.87890244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5048942$A511E133-8772-4BEF-AA3D-801A6F642103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8469641fd36dc50f4d67a1a43a257ac526a100eb","datavalue":{"value":{"entity-type":"item","numeric-id":338613,"id":"Q338613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2f8abb616c45bb3e4e6413a38fd2bcbb3088a38","datavalue":{"value":{"amount":"+0.86746037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5048942$40CD469B-FD73-47BE-8994-E554AE241E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"486c736343e584ea5ed52d3415912a4f7a6ecfa7","datavalue":{"value":{"entity-type":"item","numeric-id":3455065,"id":"Q3455065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3ad36df11c0dd8ab28a4f67e0bb9ae3ec09b297","datavalue":{"value":{"amount":"+0.864856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5048942$F955A2B6-F0E1-41C8-9444-D170B364C223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69adcfb9fd241c8f749bdee97add6314d2602a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4415263,"id":"Q4415263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"028cbf3b98ed6091db77a7f59994675be546d72c","datavalue":{"value":{"amount":"+0.8634804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5048942$0B72C965-588F-4BFD-89AC-F0B498323090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e93b4a343ca1df2ed81521fe185d9930c9a4d18","datavalue":{"value":{"entity-type":"item","numeric-id":698435,"id":"Q698435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca731bc102f200093a9ea7f6eba93af345ed4c5","datavalue":{"value":{"amount":"+0.86046153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5048942$F7B24F3E-7733-4309-AAD3-659244CC5771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d860e197c732de4e7eb8e529448d049728b94cfe","datavalue":{"value":{"entity-type":"item","numeric-id":4965863,"id":"Q4965863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f382674b34da73f46b81638ba9ac378f288ae0f2","datavalue":{"value":{"amount":"+0.85775244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5048942$916DD032-0DCE-4D57-ADBE-74BE65BD262A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec6470d6e28d08af66ca489f63b2de2d99c9d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1391753,"id":"Q1391753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff11d0e029cc8c8b82bee60f0daa2a8efb2041f","datavalue":{"value":{"amount":"+0.8545078","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5048942$BE999876-BC1B-489C-8A1A-876425408FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b5ee1266d48a947abe77a3998c71f1433bd3ad","datavalue":{"value":{"entity-type":"item","numeric-id":5897488,"id":"Q5897488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f874cb2ea15c543213be291b0486322a480982ba","datavalue":{"value":{"amount":"+0.850175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5048942$6D2F3B4D-4FAC-4A7D-92D0-66D03D1C694F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5048942","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5048942"}}}}}