{"entities":{"Q3182946":{"pageid":3193654,"ns":120,"title":"Item:Q3182946","lastrevid":50788631,"modified":"2026-01-15T04:38:27Z","type":"item","id":"Q3182946","labels":{"en":{"language":"en","value":"FO Model Checking on Nested Pushdown Trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5617288"}},"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":"Q3182946$7B15DD31-EEC0-4432-A8B6-832C476F8970","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a50b568a817b57cc9e8d3cc80d95fd154d7579a7","datavalue":{"value":{"text":"FO Model Checking on Nested Pushdown Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3182946$C174D26A-1349-485F-91CE-C4E25B4171FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee7961c6c98afffc82d6460e013271bf36987138","datavalue":{"value":"1250.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3182946$BB0D8886-1D8D-4369-9D1D-D07B5549D407","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67c98df8997c3ced181a7d1818d824f296489402","datavalue":{"value":"10.1007/978-3-642-03816-7_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3182946$08AA500F-E66F-4058-A9E0-0F8BEE5E17AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06012f2a57f37290b6cc56ae38272af569718724","datavalue":{"value":{"entity-type":"item","numeric-id":269502,"id":"Q269502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3182946$F4FFCB30-C8C8-40F7-A93E-771EED4DBDC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b977ff8abcaaabbfd6e648af0f03d12bead6fd5c","datavalue":{"value":{"entity-type":"item","numeric-id":3182909,"id":"Q3182909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3182946$0198A3AE-40C5-4AA6-86B3-47A35BE33C91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6aa0081561418a11d17268add21f5937b0595c","datavalue":{"value":{"time":"+2009-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3182946$CB981D8B-7704-47FF-980B-A200F262EFAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3182946$01FC320D-BA19-49A4-A396-E021C9E436F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3182946$FEE85C5C-25AC-4BC8-8BA7-4D90DFC8832C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df849bad073d9d4cba6a88509bd04409692c6159","datavalue":{"value":"5617288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3182946$92EFAF3A-42AE-43C3-B550-A9EBC4D4EEE9","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":"Q3182946$79B4770F-A803-46AD-95F3-C163A10E620E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae50e54a8d62354e49b4325d416a255f41f581fb","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03816-7_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q3182946$F080DBE8-8C09-4871-B374-553DD8C0061F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50997f9a46d0cc4530fcb916af3bb8e92cbeee94","datavalue":{"value":"W1533900392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3182946$F6CDD4DC-DBCF-41D6-936B-9087635EC51C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"648cb108bd37c29de0543b7af3d48092bfa49749","datavalue":{"value":{"entity-type":"item","numeric-id":5756734,"id":"Q5756734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3182946$5D8525CA-1B81-43C1-9F04-5E26AE0AD3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86093adba28386eb0d9d592265172f7eb4400dd5","datavalue":{"value":{"entity-type":"item","numeric-id":930912,"id":"Q930912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3182946$0ACF05B8-FAFF-4007-B0E3-8F828EBCB852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3182946$2A42BF86-75FF-46FD-84BB-8AD173658305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b665a3d5bd4c237eefe65a7de574437410bf835","datavalue":{"value":{"entity-type":"item","numeric-id":5369241,"id":"Q5369241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3182946$8A4C783E-6F5E-4D3E-8FD7-0911AA2D37B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"984a55dae69a557842426f05980087d198977903","datavalue":{"value":{"entity-type":"item","numeric-id":3225588,"id":"Q3225588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6df51a929dfcefd1ea2b205f12a9e2c7a33e62","datavalue":{"value":{"amount":"+0.899371862411499","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3182946$DF16091F-1495-4CBA-94CE-46245C9D49EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"affc2075e5de6e10b07e5e6750243b347fb2a686","datavalue":{"value":{"entity-type":"item","numeric-id":2946692,"id":"Q2946692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f1c7e8bd975e6452ee82b3c1d2300f8d45163a","datavalue":{"value":{"amount":"+0.8694682717323303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3182946$FE0948E3-8823-48D1-8E4A-EF95D039E596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2989100a0b096564fd71c31602feed2edbad64c1","datavalue":{"value":{"entity-type":"item","numeric-id":2892784,"id":"Q2892784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22c66fda0e04011c24acdda8f06de1282aecfa0","datavalue":{"value":{"amount":"+0.8517172932624817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3182946$1E033788-610F-408A-AADC-2322DBD44B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02288a6b54e9b7fdaa239fdb79d57edd04bf95ba","datavalue":{"value":{"entity-type":"item","numeric-id":5756734,"id":"Q5756734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a5f2b18996db9e22cfa5afe1e4e3f25da0e1ef6","datavalue":{"value":{"amount":"+0.8333497047424316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3182946$5AEEE9A9-9267-45EC-AC64-5CB8E2B5FC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac98d46e3fd6b9b2b410a7f6b3ac52b35926f32b","datavalue":{"value":{"entity-type":"item","numeric-id":4981168,"id":"Q4981168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65148a7d761fd0a0f12a23abfa3b1f70e691228d","datavalue":{"value":{"amount":"+0.789901852607727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3182946$60AF69B1-B00C-4630-94DA-3D42DAC77E6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3182946","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3182946"}}}}}