{"entities":{"Q5883578":{"pageid":7913129,"ns":120,"title":"Item:Q5883578","lastrevid":41642487,"modified":"2025-05-06T16:28:28Z","type":"item","id":"Q5883578","labels":{"en":{"language":"en","value":"Model-Checking HyperLTL for Pushdown Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7666547"}},"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":"Q5883578$E5494B37-442D-4E6F-89FB-05F5C06E4BC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f756aca1cb23a04666a4e3a50f6f21cd6bed816","datavalue":{"value":{"text":"Model-Checking HyperLTL for Pushdown Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5883578$A852296F-3F23-4E90-87F5-BC2DC9A2FA12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"106f2f3e6867272a1e36db6e2f24a2484998e9ce","datavalue":{"value":"10.1007/978-3-319-94111-0_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883578$1AB347A5-00A0-413C-84A1-FCC220893936","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54d62ef0ac476071efaf1d32c10923287eab0cb","datavalue":{"value":{"entity-type":"item","numeric-id":2165217,"id":"Q2165217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883578$D5EAA448-EFB0-45BB-83E0-B787A02AF927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4210cde0488918f9e758e0070524bd78d3176514","datavalue":{"value":{"entity-type":"item","numeric-id":402128,"id":"Q402128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883578$B1A8E49E-4892-4FB9-A1F3-AF05A6DE1B1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"522e9e5b50831c9c990a6ebdcfb4c44f217acf10","datavalue":{"value":{"entity-type":"item","numeric-id":2814620,"id":"Q2814620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883578$067CFD06-646A-4E8D-B02E-F7EE7CE25377","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9db9aab8c47e8de7d6375c30693ffa43d749cd68","datavalue":{"value":{"time":"+2023-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5883578$4EF107C8-6F74-4365-A180-DE0D05808A30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883578$A5237E66-7B3B-460A-BD8C-C3A8E407DE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883578$057DFC1D-2986-415F-A75B-4858DFBD0288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883578$6D4414F9-28A2-49E4-819B-38928CB5028A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c95dedde6e2cb9e3fe89b8fca658d69077857ea","datavalue":{"value":"7666547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883578$D0C56292-B84A-4D27-B71B-0B18633E886C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7107a3607349765606fad319a8423745e29c6d1","datavalue":{"value":{"entity-type":"item","numeric-id":24728,"id":"Q24728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883578$C222448F-CBDD-45E7-9D66-BDD3ED49E465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c880f74d50700e38a1094fb8ad133395e3f56a3","datavalue":{"value":{"entity-type":"item","numeric-id":36996,"id":"Q36996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883578$CB2E87E8-6E07-4EBE-8DE5-174B021F60D9","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":"Q5883578$2F90A9E6-ABC9-4B04-B1C7-F17A7C00FB89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68ba54bd930d3a9895d4f1ff10add31166ee0de9","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94111-0_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5883578$DFA56BCA-37E1-470E-B790-5E9254151C53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb39d45eddadd2dd0f67c9cb66134503be5887f0","datavalue":{"value":"W2807780463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883578$7BB7AF80-D222-4046-83CE-43CDA90C8513","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f160065607812db397d640059a8389178fffb53","datavalue":{"value":{"entity-type":"item","numeric-id":912646,"id":"Q912646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883578$5BC680DC-6652-413B-8114-C96C0FE3FD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883578$11BE5455-7126-4A5E-A355-3F1298995B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1099ef194cd8ef7e5d8a261e6db672209e97d59","datavalue":{"value":{"entity-type":"item","numeric-id":5428226,"id":"Q5428226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883578$1BC0E188-62E8-46C1-AF70-F8E7B33EDC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a768592a36a0799f3311c6c16dd9cd5a4a03baf","datavalue":{"value":{"entity-type":"item","numeric-id":5703792,"id":"Q5703792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883578$3DDF6092-635C-462B-BE7A-FFEFC95104E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883578$0B50CF34-8F85-456F-8A43-B7866D118ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8be379e4dc29012717f03e4095ea9a22614ac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1702908,"id":"Q1702908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883578$FC5B1798-8E47-4865-B210-7D845598F0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883578$231CBD5F-AA42-4941-9FE2-3801D26FF513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883578$1C056009-6AD0-47AE-8492-D00A61BEB32B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273036887260558587b0b74bdb27bb5400fa51c2","datavalue":{"value":{"entity-type":"item","numeric-id":1702908,"id":"Q1702908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e1d0419eef4920385cad218a9d8b1eea9ff606c","datavalue":{"value":{"amount":"+0.9301109","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":"Q5883578$CE8EA152-4BAA-4399-9BD0-8152110F405B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7db2e6c90798e3e7be3aa35f58d3f4a6a178630","datavalue":{"value":{"entity-type":"item","numeric-id":4472439,"id":"Q4472439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45744986ce05d820cda66cf49a4a71c09e39cacd","datavalue":{"value":{"amount":"+0.92544794","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":"Q5883578$92D42AF3-4E86-4782-A039-2850658BE5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81d05c5057fb055fd0b7b1806601a483097f486","datavalue":{"value":{"entity-type":"item","numeric-id":3090847,"id":"Q3090847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f5b295d1012926cbdc876e2d7998a5dd084eb62","datavalue":{"value":{"amount":"+0.9189664","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":"Q5883578$8C4D4C29-9961-4B35-B09E-F3B8C036E0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e2e1203d7e5b8db467a268311da63c0244b664","datavalue":{"value":{"entity-type":"item","numeric-id":402129,"id":"Q402129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f5b295d1012926cbdc876e2d7998a5dd084eb62","datavalue":{"value":{"amount":"+0.9189664","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":"Q5883578$29FA09A3-43BE-4A2C-82B0-4B90BA9E5750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e078017d99c3a2d875f52148013fad1fef6d8ff","datavalue":{"value":{"entity-type":"item","numeric-id":6535349,"id":"Q6535349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6cd80669b50222a3a1f270103b426883889747","datavalue":{"value":{"amount":"+0.9109988","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":"Q5883578$549CE904-8AB9-4AB3-9FAB-7027E7751310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71f6edf2b4428d82cf29c2a351497cb1ae8655d","datavalue":{"value":{"entity-type":"item","numeric-id":4928504,"id":"Q4928504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cf8028de14e5f3785c7f9a6282606010b280449","datavalue":{"value":{"amount":"+0.9092736","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":"Q5883578$F35CC333-57F2-47D9-800A-0D419BF6C4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68e76549a817b933483b9daa432aa031e220ae87","datavalue":{"value":{"entity-type":"item","numeric-id":2424879,"id":"Q2424879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e1e18baf44ea7ef1dd051be45e2761f14fd2292","datavalue":{"value":{"amount":"+0.9081956","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":"Q5883578$52336677-0397-488A-B856-AC3429151B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1facffae4f4bb32244da6e239c72c70fd4508a","datavalue":{"value":{"entity-type":"item","numeric-id":5714447,"id":"Q5714447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca9047f3603bc968b250a42a415c379d97e1bad","datavalue":{"value":{"amount":"+0.9055333","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":"Q5883578$7A543ADD-F688-4707-97EB-4EE5987B689C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32313f08c2280cf58f605f5a1afe17de787fd344","datavalue":{"value":{"entity-type":"item","numeric-id":1887158,"id":"Q1887158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86a1bb7366dd3327623948a8abf5656944fd0ab4","datavalue":{"value":{"amount":"+0.903164","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":"Q5883578$041AB430-D60D-441C-9CD2-23E810FE3DCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5883578","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5883578"}}}}}