{"entities":{"Q3146301":{"pageid":3157017,"ns":120,"title":"Item:Q3146301","lastrevid":85914470,"modified":"2026-06-03T12:28:01Z","type":"item","id":"Q3146301","labels":{"en":{"language":"en","value":"On the Relationship between \u00a0-automata and Temporal Logic Normal Forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1799540"}},"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":"Q3146301$D0AF412E-4D99-41DF-9D4D-AD05DCE9BEA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7e4f4c98344b2a43071f68ce9a3fa5934e69f82","datavalue":{"value":{"text":"On the Relationship between \u00a0-automata and Temporal Logic Normal Forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3146301$7F677773-F468-40A8-B025-24623C587AE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0df0ebaed129b034ed0e42d4fa673f7cfa94b834","datavalue":{"value":"1007.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146301$4EE30909-ED42-4D28-9543-2C1C30065769","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d672991dc2d4ae09edeb89406bd04d076f6c380","datavalue":{"value":{"time":"+2003-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3146301$8342FB17-13B7-4D94-98A4-91B5D68108A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146301$4B04BE48-03CD-4126-B7A6-7F2F426B729E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146301$2CF17BAE-EEC6-4942-A1F6-4CA19BE91FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146301$DC45DD94-0019-40DB-8DF3-B13370C63865","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"005cf5f251aeed4f86b6456478d8acbc225bee70","datavalue":{"value":"1799540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146301$2C7FA409-C9D7-44ED-8074-B187461D665C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146301$E7109605-9118-4EA9-8A46-1623CF1F93FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146301$2377AA50-328D-49E3-A1D9-93D4FD91104A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146301$0A654CB5-417B-4EBA-AF32-3798D818610A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146301$27D23961-7E0A-42B5-A88F-253B0142E3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20a478193fe26fd22e880437974a3f6404d89630","datavalue":{"value":"clausal resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146301$84A11BD8-FD83-4986-AAD4-2704D6220EC2","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":"Q3146301$4FB16008-75FD-42CB-8739-F76B9C753887","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29defcfb67b2497daa7c1572bb720d1424eea259","datavalue":{"value":"https://doi.org/10.1093/logcom/12.4.561","type":"string"},"datatype":"url"},"type":"statement","id":"Q3146301$F7B3BB20-BEB3-4120-A97A-85769DFB1D37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57dd0328140d2cde98c4d081551ffb46eccf8da4","datavalue":{"value":"W1990608809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146301$77ADFD9F-022D-452A-B3FA-91BFB29A7F91","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b5249360b6e7ef25e2acdbfb5c0dce4b218aabc8","datavalue":{"value":"Q98283988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146301$117E107C-1000-4933-A689-18BCA12E7E12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"031e8c33900e9054ea27ec2d8a195c43a3bbb89b","datavalue":{"value":"10.1093/LOGCOM/12.4.561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146301$CD863B0D-ACC4-4285-84F6-8D43A0DA88E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146301$444F7442-9D49-46DD-968D-52CB4C6A5816","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6579d4aba8e2df988b16a628bf59199acfdd163c","datavalue":{"value":{"entity-type":"item","numeric-id":2488275,"id":"Q2488275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b830e37981cc2c336d14f6da62ea1566808d35","datavalue":{"value":{"amount":"+0.8272467255592346","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":"Q3146301$58D3B0BF-6D98-4304-B6DD-BFF46BC92A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"243a61169595355e418736f096741a43e3b14394","datavalue":{"value":{"entity-type":"item","numeric-id":3752371,"id":"Q3752371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e6ce2702042248baa54fed252ac49adb48c8846","datavalue":{"value":{"amount":"+0.7641319036483765","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":"Q3146301$1A9FA93C-8341-46BD-AA57-4ED6120790BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388e541e3208693a2afb88e2290b8dfba7abd2af","datavalue":{"value":{"entity-type":"item","numeric-id":3698787,"id":"Q3698787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86846802523dbd4312b78441a3acde8fc36a315c","datavalue":{"value":{"amount":"+0.7518570423126221","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":"Q3146301$BBF9CF92-B7F7-4720-91E8-08280F784A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5738b84c25089ad456e6083a3dc5b131e0e98844","datavalue":{"value":{"entity-type":"item","numeric-id":2842641,"id":"Q2842641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a64f06321d7c7779f09a00d8dc38c8008fb5f8","datavalue":{"value":{"amount":"+0.7391093969345093","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":"Q3146301$2D90BAC6-B202-48D9-9F8A-E1A6F9E496CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45a63a94db310200716c8c1631f52e03f111653","datavalue":{"value":{"entity-type":"item","numeric-id":3086936,"id":"Q3086936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f02c6350b05b4aee2286845c8340de0fc08b47","datavalue":{"value":{"amount":"+0.7352307438850403","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":"Q3146301$11498030-8001-400F-81E2-2F931BEC634F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Relationship between -automata and Temporal Logic Normal Forms","badges":[]}}}}}