{"entities":{"Q2506493":{"pageid":2517236,"ns":120,"title":"Item:Q2506493","lastrevid":49938019,"modified":"2026-01-12T04:36:55Z","type":"item","id":"Q2506493","labels":{"en":{"language":"en","value":"First-order logic with two variables and unary temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061608"}},"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":"Q2506493$B6F54E00-2634-4F94-A256-A0EC642CBCFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7a38ad0310e081c05f4dbe76bec5d615df96491","datavalue":{"value":{"text":"First-order logic with two variables and unary temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2506493$52C38404-D4F6-4B22-9A71-BC76DC891C34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac751035822ed13484d3aec532e17642f285f82d","datavalue":{"value":"1096.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506493$5EC37929-FDCF-4DA7-9549-4BE047C6528C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2680b29e301ca65d036ea477d294af6c3aa1eaf5","datavalue":{"value":{"entity-type":"item","numeric-id":294840,"id":"Q294840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506493$F41F7D69-2D56-4620-90C9-3CF3EA0953FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506493$7E18D341-E508-406C-B3FB-5C70D7230035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26eaa7a3159ba545420366ef8b151ea4c3766e0","datavalue":{"value":{"entity-type":"item","numeric-id":208756,"id":"Q208756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506493$A9C45012-3794-42A6-97C9-B81BA9375416","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506493$A36878DE-2A97-4580-BCB0-F2F512F3B6A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17d5dc9e06bd48c78f65617b39b2f452c61f43e4","datavalue":{"value":{"time":"+2006-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2506493$931B8BC6-7565-4A74-BA78-E1452A359049","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506493$77B8DB02-ECE4-426C-8EF7-1B113B78D9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506493$A2CCE9DA-10D8-42A8-BA2F-B40B29D50BF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30bdd185738f36253af994d59b9b8e7a4d2ed760","datavalue":{"value":"5061608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506493$35BA37E7-6263-4F72-B4D4-0CDB6BF25DC2","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":"Q2506493$614B9C28-47C5-408C-98F4-57FEAF8598E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e10b4eb359f78b097a380244a1a1317bcc8ed104","datavalue":{"value":"https://doi.org/10.1006/inco.2001.2953","type":"string"},"datatype":"url"},"type":"statement","id":"Q2506493$2425D115-BBA1-411D-821B-EBECDBDCE9AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b23060da954cd954e3bda6839a242907178ca957","datavalue":{"value":"W2131159347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506493$EB6F4812-A2F6-4389-82B6-31A04334083A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f137bccee4ed258be74af189e17ff1000128d7","datavalue":{"value":{"entity-type":"item","numeric-id":3341896,"id":"Q3341896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506493$97A12B2D-D2C6-4330-AABB-A330324DC195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506493$200C713E-BEC5-4543-9F71-20082FA7744C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506493$007ECD3C-C2FC-4E75-B2F4-6F8D151F15E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631dd448ed94a161dd5275cc06d6f96081ad289f","datavalue":{"value":{"entity-type":"item","numeric-id":922523,"id":"Q922523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506493$70712064-539B-4EED-8E0B-3FBA1A6EDD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6e5a2ec66a572177ef7c34d7ff9e3c5a3050d5","datavalue":{"value":{"entity-type":"item","numeric-id":1157324,"id":"Q1157324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506493$2CEB7C01-7F55-4CE8-B7F1-297DA8AB6B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506493$A32417A1-76E0-499E-81E0-4BD730A9F4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506493$BC3783E0-8062-4410-8339-E1C3DE7833DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8df784f168931639f2c14a32a03f224c18ca8619","datavalue":{"value":"10.1006/INCO.2001.2953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506493$CD70C512-3280-4BBA-B49A-480CF7867BD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c74e1d935c640894210013c13c45f489b53c1f1","datavalue":{"value":{"entity-type":"item","numeric-id":4927426,"id":"Q4927426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6401dc1ef03a4dcbb7b4bcba7c614238e05d08a5","datavalue":{"value":{"amount":"+0.840945303440094","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":"Q2506493$04B9432E-4296-46DF-AA06-7D45754EFB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b4ceaeef9428454328905d0c38bb4d0346a5ab","datavalue":{"value":{"entity-type":"item","numeric-id":4542541,"id":"Q4542541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47fc5e9beb59fa5f1b546c38caa357bcc1db8e70","datavalue":{"value":{"amount":"+0.8394113779067993","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":"Q2506493$C5381A68-346E-42E6-8D44-EFAA99EC3466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38812664c68fd5094e8a8bc035c8b5aa237e886e","datavalue":{"value":{"entity-type":"item","numeric-id":3090852,"id":"Q3090852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d1f2ee5d1d8d8b032805c0017671a1df487aa8b","datavalue":{"value":{"amount":"+0.8285722136497498","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":"Q2506493$C1508284-2AA0-4690-B727-E1DBF99D017C","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":"a05aa11925c3a88ace1d8f5b61fa18b838f65f06","datavalue":{"value":{"amount":"+0.8010200262069702","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":"Q2506493$7CDD035D-2B90-43D3-AA5A-D49540B448BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941e639ace19f42c9531e68ad2de7c8965c8d14f","datavalue":{"value":{"entity-type":"item","numeric-id":5278193,"id":"Q5278193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a05aa11925c3a88ace1d8f5b61fa18b838f65f06","datavalue":{"value":{"amount":"+0.8010200262069702","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":"Q2506493$3F42CA8A-BE8B-4664-8E65-CCDDAD165BA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2506493","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2506493"}}}}}