{"entities":{"Q1990508":{"pageid":2001250,"ns":120,"title":"Item:Q1990508","lastrevid":53253161,"modified":"2026-01-24T13:45:06Z","type":"item","id":"Q1990508","labels":{"en":{"language":"en","value":"On finite domains in first-order linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6965627"}},"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":"Q1990508$C4398938-910E-481E-8D28-E771428ABC41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c57e8f72d363e991def51c25fe10fc06888a10ac","datavalue":{"value":{"text":"On finite domains in first-order linear temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1990508$786A010D-9ED0-42C7-A59C-E77AFAFCAB07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"863415eb9f0dc04f0226ce6ee7b04121ea0e39a9","datavalue":{"value":"1398.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990508$E17D86FC-4643-4E29-AC4C-56A8E2B6F6D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f7b299c4c5d54d00913265e912aada09ccc1156","datavalue":{"value":"10.1007/978-3-319-46520-3_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990508$D331945B-5718-4D70-BDF7-93FDF460AB08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"818fe5cf5f9df33fa0efbead4fe6079cbb5dcd6e","datavalue":{"value":{"entity-type":"item","numeric-id":651315,"id":"Q651315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990508$909B99DC-55C2-43A9-AC47-955EACDCDDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"116fa3f764527f5c8cd2c3e8bf7ba8070d0c57e9","datavalue":{"value":{"entity-type":"item","numeric-id":821562,"id":"Q821562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990508$6FD9DAD5-93B7-4B64-AEB1-29FC07EFB450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5420dc66195d2108efd0f0e647229d16dc08ea8","datavalue":{"value":{"entity-type":"item","numeric-id":821563,"id":"Q821563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1990508$D4521CC7-7CCD-4C9A-8574-2FE2254D1C07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d922d082f59433f45c9845ec970fb038b58ba6c8","datavalue":{"value":{"time":"+2018-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1990508$59449B87-766C-4277-826D-BBCB2793E12D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990508$53439561-1150-4F9B-9CAA-5C8D4EE815CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990508$36DEACF6-2812-43C6-9F2A-991A17497202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990508$01129BA4-37F1-430A-996F-A68F950613B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17834d25c6653c72b1fa6751c3791726aae113e5","datavalue":{"value":"6965627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990508$E6C5E50A-15D1-4D11-8A08-857556D25194","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"215237ba421ed59c64f40120b5aa2b59d8735c63","datavalue":{"value":"FO","type":"string"},"datatype":"string"},"type":"statement","id":"Q1990508$361E3CFB-1101-4220-A424-E6B4925C872C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1990508$3B5B4A56-DD3A-427B-B3E6-83DA505DBFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1990508$FE73AE3E-931D-4397-8C86-E41B062765A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"275e9feae99e215c9cb8dd39360e90b1acd1ed22","datavalue":{"value":"bounded satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1990508$4535DBC1-2ADA-49E8-8AC1-66D1F1B4C298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d30bccc3c773f6387fa27b8780b4cca02dfeb07e","datavalue":{"value":"fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q1990508$84B928FA-DEF2-4ED2-82B1-FC7CFBC6A378","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":"Q1990508$41DAB36D-AF42-4447-8019-BE64D41AA72A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e60a959a1f4dd55900143a7b23adb53ac37e75f7","datavalue":{"value":"https://doi.org/10.1007/978-3-319-46520-3_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q1990508$6AFFC353-D097-49FF-8096-088C117C9C33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8efd4077ccbc389ddb204cbe854005325d5dd6d9","datavalue":{"value":"W2523172211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1990508$1B41C115-3DEB-4FD6-B65A-E3CFE8EC8473","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855402ef7d5680a3442f654ea6dad00be4d2100d","datavalue":{"value":{"entity-type":"item","numeric-id":6487559,"id":"Q6487559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80565c23efbccb442fc287bcb6a1b74a69b9fcdf","datavalue":{"value":{"amount":"+0.8188133835792542","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":"Q1990508$D30DA60A-B2EE-467F-B42F-103BC7548A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9df7499817978c9c41a287e68810e53cff96ae","datavalue":{"value":{"entity-type":"item","numeric-id":4938418,"id":"Q4938418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d5089362d18fbe1bee448e2015c7174b5c6b38","datavalue":{"value":{"amount":"+0.7900776267051697","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":"Q1990508$DD0876DB-8D58-4753-BFEC-6A8EA9A10DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e65a427c28b570dcfc1dfce65a15bea7b4410ab","datavalue":{"value":{"entity-type":"item","numeric-id":2747711,"id":"Q2747711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d5089362d18fbe1bee448e2015c7174b5c6b38","datavalue":{"value":{"amount":"+0.7900776267051697","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":"Q1990508$E5266C3F-D695-4E38-A231-57D351D0FE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ff6e54c1b50c0922974c0029a41fe5cf9ceaa2","datavalue":{"value":{"entity-type":"item","numeric-id":821564,"id":"Q821564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b1a6b0d907f469d8d9dcf439057cbd5fbe0400","datavalue":{"value":{"amount":"+0.7816077470779419","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":"Q1990508$FFE18D1A-6393-42A9-8B9F-298086AD7880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4749c931588c31648c97654758bf0cdfb3dc96","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"607bffdcbb301b962c2bda41e10b8ff7d4b05ed4","datavalue":{"value":{"amount":"+0.7786129117012024","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":"Q1990508$33D39129-0F54-43E4-AB6E-517A2DDDC946","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1990508","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1990508"}}}}}