{"entities":{"Q4632441":{"pageid":6662022,"ns":120,"title":"Item:Q4632441","lastrevid":82167851,"modified":"2026-05-06T20:15:55Z","type":"item","id":"Q4632441","labels":{"en":{"language":"en","value":"Generalizing finiteness conditions of labelled transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048689"}},"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":"Q4632441$6AB95585-3DF0-40D5-BA6B-0CF6A1BA928B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c71572a2c47f7c72c1867d298c385533bfa0640a","datavalue":{"value":{"text":"Generalizing finiteness conditions of labelled transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4632441$CA9DF2C8-6A55-4164-AB78-10C3D07DD070","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"910d4868298a1ad6b96923a3ff2583a5ba624bc2","datavalue":{"value":"1422.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632441$0F242C8F-4767-4296-B2F3-A4B80D50AE39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d631ed01ff5ad8d76068057c6992245373612966","datavalue":{"value":"10.1007/3-540-58201-0_83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632441$26918E4C-FBB8-4E3C-87AF-E2E2A693DDDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$2882540B-85C4-44B4-9997-3D1E0E7236E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c886460d86f543351b8f7fb5093933ac0a350b03","datavalue":{"value":{"time":"+2019-04-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":"Q4632441$44A6A2DC-4C0B-483C-96BC-FF2BBF277995","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632441$648BB233-9C40-4B52-ADF1-9E9DD4632272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632441$AD4ECD19-4B5F-4E98-86AB-CAC8AF19EB81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2098fc5f6aba68f22aee9abd83f6ac06987f2180","datavalue":{"value":"7048689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632441$4C7BF0E6-E86C-460C-ADA1-415C446EF14B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd6791c7031dea45c6bb090fae100b7b481c5df0","datavalue":{"value":"nonexpansive mapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632441$DEA32905-E162-43C6-A01B-2C5707356A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8eab91a064dcf1649ad1573273b2cf0f55e56ef","datavalue":{"value":"semantic model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632441$BF67CC37-56B5-4DCB-A272-73B8EEA35963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632441$207DB8ED-73B7-4AF7-A016-6A68DD07065B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c281070e184bd73b44dc445c87bc13f774f9e8ef","datavalue":{"value":"unique fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632441$31BE9E35-ABF0-4DFB-9693-0EF05E465EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0c081abc8eda38858901e1fd627902a9a4a0e0","datavalue":{"value":"labeled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632441$395CE074-027E-4FC3-A8AC-132E6796E14E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42fca8198ff5bde9254949379672939d8017bfd9","datavalue":{"value":{"entity-type":"item","numeric-id":456099,"id":"Q456099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$7C3F5DF6-37B5-4692-8C2C-6CC92CBB3504","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":"Q4632441$D236C140-93BD-476E-93D8-6CC9B565928B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4f71c08c656376c5eba7a0a738cae415d27e506","datavalue":{"value":"https://doi.org/10.1007/3-540-58201-0_83","type":"string"},"datatype":"url"},"type":"statement","id":"Q4632441$34DF5A70-D432-48A9-9DFA-4DAE797D3E4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58952ce0efaa4888bfc42e24a55392a479dee874","datavalue":{"value":"W1499856730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632441$4B082F20-147E-41B1-824B-2195615CBBE1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$E933568B-BB59-4DFB-B791-71C7C6D5B4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13637c329a859369d956f00d5ad44bbfb24c2365","datavalue":{"value":{"entity-type":"item","numeric-id":1136494,"id":"Q1136494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$9565B6AB-9859-44AA-BDDD-C29476E2E55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"995e09e11031a81f0e8fcb1fd6203f3a1b4afe05","datavalue":{"value":{"entity-type":"item","numeric-id":2640341,"id":"Q2640341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$3485F8C7-840C-4748-9A94-EED55E854008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b3dd982771c82980203ba0f7ebec9b7b6371ad","datavalue":{"value":{"entity-type":"item","numeric-id":1348527,"id":"Q1348527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$D8592311-ACE4-417C-BCC2-8AED81793928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dc08e428cc96272c06ed3d598cfc6be913cc069","datavalue":{"value":{"entity-type":"item","numeric-id":5890044,"id":"Q5890044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$BCF1DA83-1494-454C-8CB5-7BB1DF249211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ebc190307341457fe960078a7cdf558639863f7","datavalue":{"value":{"entity-type":"item","numeric-id":1179700,"id":"Q1179700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$1A29428A-4D29-4306-A058-3F64EDFF1DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e5b51817b53484d3dfa2ff8174bbb7f1306491","datavalue":{"value":{"entity-type":"item","numeric-id":3347277,"id":"Q3347277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$83D783C4-2B37-4B20-B806-D2301067FB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c60ead8cc58fd9bb7c00238ca8bea1be129e80","datavalue":{"value":{"entity-type":"item","numeric-id":5620550,"id":"Q5620550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$92F4C4C4-C254-473A-9805-2C681C8730E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b906dab90c400212e9d160c534022befa264bd","datavalue":{"value":{"entity-type":"item","numeric-id":2736353,"id":"Q2736353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$E2009C56-639C-4E94-B6F1-5ADF12EB379F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b921d27184ca57028cc63464a7e2d041c6543bb","datavalue":{"value":{"entity-type":"item","numeric-id":4632441,"id":"Q4632441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$27987CF4-934B-465F-95A2-B5EC1858D495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e82bcf1b7901beaa69c9fcd1bbc299966b7133","datavalue":{"value":{"entity-type":"item","numeric-id":5890043,"id":"Q5890043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$B7FAD763-E1CE-4746-AA35-A2D7AA700085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1026c5b2274613d81d7dbd8a8e9bbf63fb6bf6d9","datavalue":{"value":{"entity-type":"item","numeric-id":3285871,"id":"Q3285871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$2694473E-759A-4A98-B29D-2BE431ACB54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10be44b382ceb44eaafeb4044db6f2b193dbf650","datavalue":{"value":{"entity-type":"item","numeric-id":3907039,"id":"Q3907039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$229AA2C5-91CB-4A72-B15B-2E6EA5CF828B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d970d5073ac838cac148b1cf627c77e02a2b90d","datavalue":{"value":{"entity-type":"item","numeric-id":919834,"id":"Q919834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$DF2F78B2-8859-44B0-87CA-EAFBB552063B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c2f03ddf184e0a48ae79021ba37eed12ad78ce","datavalue":{"value":{"entity-type":"item","numeric-id":3857704,"id":"Q3857704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$9C081A73-188C-4E0C-921E-77F01F1C49D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8281cd51e219f70f2f3c8044d96ac5a2ab908daf","datavalue":{"value":{"entity-type":"item","numeric-id":5887512,"id":"Q5887512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$AF45DCC7-C138-44AD-B710-3107AD5AA7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7126125e0625881334683a50965438c76defb5f","datavalue":{"value":{"entity-type":"item","numeric-id":3474904,"id":"Q3474904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$EFEBB7DA-A90B-4805-AC25-A1C82E6BBA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c231ff6ad64c1cc9923fbe8e8b62ec3c403ac00","datavalue":{"value":{"entity-type":"item","numeric-id":4279257,"id":"Q4279257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632441$BF528DED-F748-4766-9256-EBEA5945AA27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalizing finiteness conditions of labelled transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalizing_finiteness_conditions_of_labelled_transition_systems"}}}}}