{"entities":{"Q7034876":{"pageid":21712140,"ns":120,"title":"Item:Q7034876","lastrevid":77522525,"modified":"2026-05-04T15:30:54Z","type":"item","id":"Q7034876","labels":{"en":{"language":"en","value":"A higher-order Vampire (short paper)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977147"}},"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":"Q7034876$62001334-B44A-434D-BF4E-E7C84992EF5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b84fd7abec7b359d4381e574726f3f67678219f4","datavalue":{"value":{"text":"A higher-order Vampire (short paper)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034876$146B1F5E-62B3-479A-8B68-DC8BD8ED39CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8feaeb2187e61e638ec7dc8ddd73da44eb4f14b5","datavalue":{"value":"10.1007/978-3-031-63498-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034876$5981A544-9751-4AB6-ABBD-6328E865E733","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2428536f9164b41f7137c52a90cdc9d6f859dfea","datavalue":{"value":{"entity-type":"item","numeric-id":2096450,"id":"Q2096450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$76E54CE7-08FB-491B-93D2-959A53686F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5493ce657ff2c3e3dc02ab18ea0d14e2e4a6291d","datavalue":{"value":{"entity-type":"item","numeric-id":748757,"id":"Q748757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$D54FE12D-5029-47A2-AD92-8B8CD0ECFA16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034876$2715B8AF-4368-4313-AE28-BEABC159BED2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034876$BD2AC91C-EFC4-4855-A148-5665A6AD9F92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9575b8951dd8b6cc82d83db064226b11ced99d4","datavalue":{"value":"7977147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034876$CFD0BF44-0BD9-4DD9-B9D7-AE990F82C3C3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$6EFDB9F1-03C1-4D42-8C2C-25D0E0857F47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5ccf1e2d7bd2bb96455215f224fea99131775c","datavalue":{"value":"Vampire","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034876$EB1D8383-6EAB-4A11-8C05-36B06073364F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"899d691baca178d68100e1bfc3b3ca2750a5dd96","datavalue":{"value":"higher-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034876$4E9CD141-31C2-430F-A70F-FD14CABAD654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05a102eccead5e8b740e0c8676200dfcf11d0704","datavalue":{"value":"strategy scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034876$217E6507-BA34-4CBE-AF53-59D01EFD8045","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":"Q7034876$AA2225B0-0DCC-4599-B510-523F36C766F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e38c2f2e2ea48fd30061f5b3a3a8d0dacb950761","datavalue":{"value":{"entity-type":"item","numeric-id":4264723,"id":"Q4264723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$C1BCEF4D-932D-4C19-AEFB-C3AC72B381EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b248c9c4438a577886ba26fae36d944dd9eb1de0","datavalue":{"value":{"entity-type":"item","numeric-id":6156638,"id":"Q6156638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$F4E6A482-5941-4271-80A3-C6C249481C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7e9017e9f92808788a0b971125d9368ce41250","datavalue":{"value":{"entity-type":"item","numeric-id":5919500,"id":"Q5919500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$17D6A17D-41FA-4F5F-88CB-556B47E322CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cb6f3ad04cb6a6717f624771cec45abb9e699a","datavalue":{"value":{"entity-type":"item","numeric-id":7025228,"id":"Q7025228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$8949DC76-DA1E-4F47-B914-F2328C77CC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7ce665db3435fa98f1acda442e827ec5d171f3","datavalue":{"value":{"entity-type":"item","numeric-id":2096452,"id":"Q2096452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$A5D3A8D3-EA01-482F-8104-11413CF8AF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7a6cd5e2c0fff841662d86f4e5afca358737cc","datavalue":{"value":{"entity-type":"item","numeric-id":7034867,"id":"Q7034867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$DA33A938-1076-497C-A965-467C85E9F3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a80eed9f379f185c9ca92aab1fa2ad3cc4463c9","datavalue":{"value":{"entity-type":"item","numeric-id":3887227,"id":"Q3887227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$2F16D38C-97ED-4747-8AAC-98C0FC581B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bac46cadd391b69a8eb2eb17270bc333130444c","datavalue":{"value":{"entity-type":"item","numeric-id":6572540,"id":"Q6572540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$4E4DB518-592B-4D94-B909-536473EE8635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8dc4e8b53658c6e547c691f2d941d3a0e7a9b8d","datavalue":{"value":{"entity-type":"item","numeric-id":2817931,"id":"Q2817931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$0AF92FA3-C55E-4719-8DB6-8938DF3E5389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8bd554443d4def680b4aedb7a5e010af4f212d5","datavalue":{"value":{"entity-type":"item","numeric-id":2128804,"id":"Q2128804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$66E3339A-82F9-4F5F-A8AB-F0DF70707E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$FFFB5FFA-3369-4FEA-B386-25AD97C76314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1724d356c4240ecf23b9ed1ec3ae79248a719b1c","datavalue":{"value":{"entity-type":"item","numeric-id":6535381,"id":"Q6535381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$C4EE5537-ED99-44D6-9624-22B8DE6A8F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$2AE641B5-19A3-46FB-8B64-5CB45DA6F054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727bf6303f28578cce92a2bdc6c0d3c263a24381","datavalue":{"value":{"entity-type":"item","numeric-id":2324203,"id":"Q2324203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$720D3C66-CED5-46D9-8856-648A446E92F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0434b2cff3a332437948c6a2ffe1dbdd5f46204","datavalue":{"value":{"entity-type":"item","numeric-id":4557854,"id":"Q4557854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$F7D38488-ED1B-47EC-91C2-DB8244F7A779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cafb1aab48a88bd1a080c979a206fc7fd624f321","datavalue":{"value":{"entity-type":"item","numeric-id":2666959,"id":"Q2666959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$F164FFC7-4E2A-4376-B004-3AF0F5898699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e469516266f4e2890c1ac8cb1d1faa4dcfd0c0b","datavalue":{"value":{"entity-type":"item","numeric-id":2104552,"id":"Q2104552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$9F9AEE04-38FE-4184-A59E-B7826BFCFDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$D6DAA173-739C-4EB9-BA4E-8CE47D24DA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ed1fd88663850940208777b453a5e31171f5d4","datavalue":{"value":{"entity-type":"item","numeric-id":5486135,"id":"Q5486135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$C70E384A-5C61-4EB0-BC6D-A6AB4ECDAFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d69e7c781c6370212654a029921d34ee26dd92","datavalue":{"value":{"entity-type":"item","numeric-id":5918403,"id":"Q5918403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$A372118A-7A2A-49CC-997F-7164ADE913B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd64358c68335b8f55c95884438c93973af5783f","datavalue":{"value":{"entity-type":"item","numeric-id":5028439,"id":"Q5028439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034876$7BEF5DCB-39B6-40D5-8CA3-E8E345B7D869","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A higher-order Vampire (short paper)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_higher-order_Vampire_(short_paper)"}}}}}