{"entities":{"Q1333279":{"pageid":1344018,"ns":120,"title":"Item:Q1333279","lastrevid":70165521,"modified":"2026-04-13T12:52:59Z","type":"item","id":"Q1333279","labels":{"en":{"language":"en","value":"A resource-based prioritized bisimulation for real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 638569"}},"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":"Q1333279$B86A58D8-A450-4E8C-914A-F66CE68624F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11eb64e0cd9173f5d343b911d725d76ac49b1a97","datavalue":{"value":{"text":"A resource-based prioritized bisimulation for real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1333279$23F9CF8E-C750-4E20-B3D6-AEC77FFC1E0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe0d61581a1e13bd88ca6fff0ceb71162aef1358","datavalue":{"value":"0942.68622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333279$C5F05440-E616-4C17-AB4C-A6788011ACC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b239318cd1272e2aa18a95457c591712e5c50c7","datavalue":{"value":{"entity-type":"item","numeric-id":1333278,"id":"Q1333278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333279$3CDBDAB0-4874-49B0-93EC-1523200DD369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05c6e35e3e7e07e6f3cb1d9f24540dfd7608799d","datavalue":{"value":{"entity-type":"item","numeric-id":234682,"id":"Q234682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333279$3D31258F-70A9-4360-A079-1C298FF0C3B6","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":"Q1333279$C083DA73-5B0B-4F54-9750-46E16A2D3800","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ea9b73e56331fa959af81c0395e4a2ba116b3ca","datavalue":{"value":{"time":"+1996-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1333279$24936101-CB2B-4B8F-A930-579770211704","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4407ae728f098ec3d05058521cdf3a25fbb964a1","datavalue":{"value":"https://repository.upenn.edu/cis_reports/560","type":"string"},"datatype":"url"},"type":"statement","id":"Q1333279$927DAEBD-8B3A-4C55-8092-8143B59DC31E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333279$977829F1-8F7C-4782-83F7-59FAE6F25AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333279$7A07AF89-676E-49DE-A13F-B6FBCFBA37B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333279$A5A09601-9224-4886-AFD2-6B7FAF328248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333279$22475DE1-193B-4445-A252-BD78B3559BAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42986692a04ea09bf9c41ddf332c9235a0a93164","datavalue":{"value":"638569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333279$D2321958-4700-4DB7-9016-FFF89F52D00E","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":"Q1333279$F5117508-03A3-43C2-ADE7-6C7F68217DD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7f14e2f04c2a533c53b518ac728a5c3ead262e6","datavalue":{"value":"W1981737360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333279$7EE9105C-5CC3-405B-A814-4066E556A17D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4ed6afe5cce4d7205e83828c6aa3826f7d3d274","datavalue":{"value":"10.1006/INCO.1994.1066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333279$0B804C97-5DDE-4D57-8EB6-5EF73544AA34","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333279$43D32406-DB5E-430A-AAB7-7B05B2F40B5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A resource-based prioritized bisimulation for real-time systems","badges":[]}}}}}