{"entities":{"Q6653758":{"pageid":14264915,"ns":120,"title":"Item:Q6653758","lastrevid":103711022,"modified":"2026-06-06T07:58:04Z","type":"item","id":"Q6653758","labels":{"en":{"language":"en","value":"Two guarded recursive powerdomains for applicative simulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7959053"}},"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":"Q6653758$2A80E016-C1C7-4A7E-B08B-77A9F303B5BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2a6edeaa1ea826e800980f0cd28753cbf5dde07","datavalue":{"value":{"text":"Two guarded recursive powerdomains for applicative simulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6653758$5ED4259C-38F8-42FA-AB1A-81EFDB4353AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa82eac0b0250bbfa834f52e2caf70dbeb3d1337","datavalue":{"value":{"entity-type":"item","numeric-id":952486,"id":"Q952486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$781CA2FF-358D-47E7-B354-99061ED2231D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9199f6b62b1c2d447cb8fb326815f8911fcd3fb","datavalue":{"value":{"entity-type":"item","numeric-id":2319984,"id":"Q2319984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$B441F488-4E02-438E-B6E9-61CAC19F9981","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"225560291f4bcf404dd3dfdfdd922a74c2690673","datavalue":{"value":{"time":"+2024-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6653758$BD980D71-6B2A-4EDB-A61F-8C792E14FC07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653758$FA739763-E253-45F0-837D-C977FBD41DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653758$2E8710B2-4379-486C-8E89-F07D3C0C60B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8682e1d46e2ffc159609566747830473ea5aa606","datavalue":{"value":"7959053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653758$14B8D280-950A-4FF3-BC35-B27874D09A0A","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":"Q6653758$803F4045-3BF8-48D4-BFB7-D112AB6FCCC4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"918ad9568b173e6ac93c0edab5f29d44bcc2c136","datavalue":{"value":{"entity-type":"item","numeric-id":5041086,"id":"Q5041086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$C0592B3B-32EA-4B7B-9D5A-99361486A275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2204ee7d30bcfa8fbee857183801f78bafc2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$5347BF10-EEC8-40D6-AA02-A4393AE11B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c7616163d4c3c1da7c14cb6770dc41c8c4dd14","datavalue":{"value":{"entity-type":"item","numeric-id":5244800,"id":"Q5244800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$5898652C-E9C5-47FE-B15E-F4E9FD6CAB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d98b134c489ef3023af867487d565081ebe9b47c","datavalue":{"value":{"entity-type":"item","numeric-id":3183523,"id":"Q3183523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$C0803AC9-60F5-4F7D-93A2-DEFAC8FF46EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6456459239ab3bc5fb70e6036ded27e15251da27","datavalue":{"value":{"entity-type":"item","numeric-id":3166222,"id":"Q3166222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$EC017700-59AC-4359-81B4-848C60973914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19797445de638b6b2a9044697b83782afd98af5","datavalue":{"value":{"entity-type":"item","numeric-id":5170811,"id":"Q5170811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$D9F27CDE-48D9-42D7-A950-05360049048C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bcc30b765cca771213ef9a1977f71c8871dbe4","datavalue":{"value":{"entity-type":"item","numeric-id":5310638,"id":"Q5310638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$3761F4DA-59DD-40B4-8787-11538AA2D589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"680cb7bdaa877f329b8283a06cadcaa6b75be5ac","datavalue":{"value":{"entity-type":"item","numeric-id":4559601,"id":"Q4559601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$E4CA9BC2-1C94-4B34-99CF-EBFC7FA03B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$04D8D5A6-8A23-4E14-A6BB-14B2F941F2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d084445455614909fc3077fa2ee195426771b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":5144664,"id":"Q5144664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$8E4E57C5-DB14-4B72-A865-361B9CC71923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49b551ceda75a753f30b71cc09ad2d116a187050","datavalue":{"value":{"entity-type":"item","numeric-id":5168888,"id":"Q5168888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$B41DBD71-99C3-4856-9E49-7A1DDAEB17F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede00a0126bcab8d203e10471ec524376d847ab5","datavalue":{"value":{"entity-type":"item","numeric-id":4847018,"id":"Q4847018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$9C362C55-A291-403C-9770-8C49B6231835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e1f981bf310d2eb425a19b789f730f693d8402","datavalue":{"value":{"entity-type":"item","numeric-id":2879253,"id":"Q2879253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$E05AB54D-FF13-451C-A96B-A1E06112BE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978af8987770da9ce87981964976dc7a47a0da09","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$10F029B4-C438-48E2-AC99-F06DEF01B6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359ce7a09b828315d6714453c2f81ad5e1a17102","datavalue":{"value":{"entity-type":"item","numeric-id":860883,"id":"Q860883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$5C3874CC-057F-4D34-9D17-1C24FDBE58FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f5926f885fc4f0aa33fee601a61278b518ca99","datavalue":{"value":{"entity-type":"item","numeric-id":5277974,"id":"Q5277974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$7B43FAE1-2332-439E-B628-50F0311B70CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9923e58a966b328788de3828943f7787ad773ece","datavalue":{"value":{"entity-type":"item","numeric-id":5141620,"id":"Q5141620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$D8663873-3EEC-4605-9999-C8F78E6580A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02509ffb8df2dc0d2a6db10aaf8d287560d43f5","datavalue":{"value":{"entity-type":"item","numeric-id":4635887,"id":"Q4635887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$36CD7423-5449-42E5-BBE1-194601A01A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$2A2C7306-FC7E-4527-B819-B4782917A762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df4665af2f8c56e5500784941d01b7088d3b6b1","datavalue":{"value":{"entity-type":"item","numeric-id":5971407,"id":"Q5971407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$FCA9BFD4-EF3F-4005-81A0-8B29FF5B3987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800821874c84e7d628c87230f35da15ef2885b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1923093,"id":"Q1923093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$3EA38AB4-D2B4-4230-8838-24AB962888A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d38c7046615fd3ffc5bc7bae792d2408dfd0c82","datavalue":{"value":{"entity-type":"item","numeric-id":4353722,"id":"Q4353722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$5445339E-3DC0-4A61-8733-11D13E7E398C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5043e724b4109507199e666f83385ead2d40874","datavalue":{"value":{"entity-type":"item","numeric-id":2851672,"id":"Q2851672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$85BFBDA3-A53E-4D1A-A355-20BCFE89588F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$2992976E-5E06-453B-A054-CEE140E182E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e92231cde912b5ea73e28aa7314af5412a8926a","datavalue":{"value":{"entity-type":"item","numeric-id":2520704,"id":"Q2520704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653758$FC08ED8C-87E2-421E-8A35-E5A2580B7248","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8923f7ce4e3470f4ea7f52607fb4ccb826217d1","datavalue":{"value":"10.4204/EPTCS.351.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653758$2E8329B0-84FE-4564-9565-B427CAB0CA0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two guarded recursive powerdomains for applicative simulation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_guarded_recursive_powerdomains_for_applicative_simulation"}}}}}