{"entities":{"Q3507329":{"pageid":5537233,"ns":120,"title":"Item:Q3507329","lastrevid":80611289,"modified":"2026-05-06T16:35:58Z","type":"item","id":"Q3507329","labels":{"en":{"language":"en","value":"Efficient First-Order Model-Checking Using Short Labels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5290798"}},"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":"Q3507329$35F4D5BA-BE08-4F40-96E2-6DE192B94B58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"004cabf0a3d09d8b38e1a6435a4c63fc975ebecb","datavalue":{"value":{"text":"Efficient First-Order Model-Checking Using Short Labels","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3507329$BF6A4495-EC1F-44B2-A53A-2FA51E9EE67D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fe41c5de9e0d7d84f747187ab25fa706902a8d4","datavalue":{"value":"1143.68448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507329$D801CFB0-289D-40D7-86A1-EA6CF7A573C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9756e76cbed36994db61a2922f37c21daf964cf7","datavalue":{"value":"10.1007/978-3-540-69311-6_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507329$0A2BE0ED-1B2D-4940-8AF4-156AE8EBDA7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"040ab4734db82eca04b89c8f2af13f8c0ada0db4","datavalue":{"value":{"entity-type":"item","numeric-id":202142,"id":"Q202142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507329$80BE5BAD-1F33-4791-967A-047804B419B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ac5ff140c9048fc64135c32f54e90a786b4c66d","datavalue":{"value":{"entity-type":"item","numeric-id":344850,"id":"Q344850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507329$791E0069-3B77-4BC3-B353-329676103053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"084bbbb4df82d594477fd68358151d484447708c","datavalue":{"value":{"entity-type":"item","numeric-id":6482121,"id":"Q6482121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507329$9B4F5787-DD33-4416-A10B-96F1960513E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"039449918372fd36372960c159b1f017e2991028","datavalue":{"value":{"entity-type":"item","numeric-id":3188827,"id":"Q3188827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507329$C6ADF9BB-82BC-405C-B641-49C76C28B4F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94adc6da8cc08e29523a0a31b3af6d1a94363069","datavalue":{"value":{"time":"+2008-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3507329$3AE0842F-A1E9-4663-B338-B6135E65D34C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507329$E11FEC1F-B3B4-4A2D-871B-88BA99F24B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507329$A1295B42-56A7-4B2D-860C-671AD477E4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507329$A320FDFA-00F9-48A2-8034-9E63148614D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdcb492a201e0e22c8f1f0840a037eca6ecd29bf","datavalue":{"value":"5290798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507329$36D34CD6-8FF9-42C6-B57B-760EE17A1A04","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":"Q3507329$8D81E59D-4C44-4728-B788-5261441D3D2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e30ec19ab17c40ee39d124a7a408a65a70fcfab","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69311-6_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3507329$689A09AC-C709-47E8-8BEE-9207CFD3FEB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ac3d814d9228736b7bbb9935ec58393be59628c","datavalue":{"value":"W1554086393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507329$F4080192-593E-4378-9C41-2C63323D1523","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"747a911f10480a7188a201d8808620458b2a3690","datavalue":{"value":{"entity-type":"item","numeric-id":5691297,"id":"Q5691297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507329$1F49B1AD-35CD-4E7B-8C2C-532230880750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbda7d016fc9bc9580dac23f830a37740c87bfd","datavalue":{"value":{"entity-type":"item","numeric-id":5300999,"id":"Q5300999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507329$993E339C-7E8D-492C-99CC-4D4250258072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211530a7d66720062b60e82cf130f31beea4a662","datavalue":{"value":{"entity-type":"item","numeric-id":1975365,"id":"Q1975365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507329$D7C92209-DA7E-4D1D-9BF0-F15212FB4DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62082c593b079adaa3dc64bbcf212d5e219058ad","datavalue":{"value":{"entity-type":"item","numeric-id":3590921,"id":"Q3590921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507329$174FCEAC-0A08-43F4-98A4-289A29736AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b083b00d770314a50e24443b3365d2c14ad8e6","datavalue":{"value":{"entity-type":"item","numeric-id":1408820,"id":"Q1408820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507329$D3EB1A10-209D-44C4-8F02-EC700752BD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe45d83731e3d384f322fef389c28ac6f4419b5","datavalue":{"value":{"entity-type":"item","numeric-id":5277786,"id":"Q5277786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507329$EE1CABAE-FA58-4CA1-9C52-C9B789CC030F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ecf64ea940b6708f5ce5f3e1fd7b5c71a960809","datavalue":{"value":{"entity-type":"item","numeric-id":705069,"id":"Q705069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507329$3C044370-4A2F-4829-899A-FE7323DD5F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea79ffe3a076af8b924158860accd261638c485","datavalue":{"value":{"entity-type":"item","numeric-id":3196630,"id":"Q3196630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507329$EA499A46-6C20-45CD-8539-48C35B8E62DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3f72e4cfa0d440af72fe380c939fa418d344db","datavalue":{"value":{"entity-type":"item","numeric-id":3666827,"id":"Q3666827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507329$3CEC5FCD-A472-4DD2-86BE-E37CD81B5AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71217208be2b526c81d03cb506bbd73893189d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3086928,"id":"Q3086928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507329$7CC24C56-BCC8-482F-A0EB-219DF707FF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be1939e71288b54854c7f6f1c1b97543e362a768","datavalue":{"value":{"entity-type":"item","numeric-id":5138487,"id":"Q5138487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507329$48BE3A79-1005-4C6A-A137-C4FB3FD0B5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06438e270472c0c482ab38475275e682844b05b9","datavalue":{"value":{"entity-type":"item","numeric-id":5900367,"id":"Q5900367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507329$F438E9F1-D6AA-4369-80D4-D1B76A4C43B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06789ff9711fcfacc05dca59cf6af8d93e612f92","datavalue":{"value":{"entity-type":"item","numeric-id":2931403,"id":"Q2931403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507329$2BB2C3EB-6EE9-4945-B5B0-64A146175C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0f6dd793166a567719b2fb5d958eb883aea03d","datavalue":{"value":{"entity-type":"item","numeric-id":1079583,"id":"Q1079583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507329$64C0FE86-56B5-4F7E-AABA-4D9CCFA972C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"147043b699458bdb6af35631312a51a6952fa481","datavalue":{"value":{"entity-type":"item","numeric-id":5284545,"id":"Q5284545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507329$02D17101-7FCF-4C72-99AF-D777463C7B43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77777e088c80ba14b67613ada14b3072bc86c2a0","datavalue":{"value":{"entity-type":"item","numeric-id":626458,"id":"Q626458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd90612ac728fbe4e1b827132d066fe73dd62e1c","datavalue":{"value":{"amount":"+0.9243209362030028","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":"Q3507329$43A8ABED-A78F-4CB0-B73C-4E664AEFAEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2901b80a3861a943f3a33853d277185d4bf0b18f","datavalue":{"value":{"entity-type":"item","numeric-id":2986804,"id":"Q2986804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7739f24024282af12e8a3d8ad3917b832d981ffe","datavalue":{"value":{"amount":"+0.9163167476654052","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":"Q3507329$EE98C834-93DC-48B7-B152-EBC7BFC76F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9b7f969df8d1506d8a38e9f0ae7eb93c09e481","datavalue":{"value":{"entity-type":"item","numeric-id":705069,"id":"Q705069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bd4e17ee9d20499f32b1a741c64fc4e717c5e4d","datavalue":{"value":{"amount":"+0.7803807854652405","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":"Q3507329$A8F750EE-9FA0-4256-B268-B7D0F9862720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85e772e69852ce8d4fb807df81167473ec599e5","datavalue":{"value":{"entity-type":"item","numeric-id":4736877,"id":"Q4736877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d9f0b17f5d981bee81d96f6304032b44424f4e","datavalue":{"value":{"amount":"+0.7752344012260437","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":"Q3507329$1C2CC290-953A-4C9B-B97B-52EA0D3BB5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce15ccdac6109c9336f0d2376b6a011c3c26aa6","datavalue":{"value":{"entity-type":"item","numeric-id":6172301,"id":"Q6172301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"258927bb6f70917b1064a3e4145336d4f8c066b8","datavalue":{"value":{"amount":"+0.762860894203186","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":"Q3507329$D06B6D74-D5D5-45C6-8FCA-767F116B6496","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient First-Order Model-Checking Using Short Labels","badges":[]}}}}}