{"entities":{"Q5428005":{"pageid":7457579,"ns":120,"title":"Item:Q5428005","lastrevid":50221886,"modified":"2026-01-13T13:49:36Z","type":"item","id":"Q5428005","labels":{"en":{"language":"en","value":"Tense calculus and its refinement without \\(\\infty\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5215019"}},"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":"Q5428005$D96D3446-23F4-4F32-898A-CD345BDA0898","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93435ed8ebb29b61942329688277d0dcd1903d03","datavalue":{"value":"1128.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428005$EDF10E8D-D69F-4C79-BD36-CE14C271B520","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c56247207502a3528ab2470f196707ee1591511d","datavalue":{"value":{"entity-type":"item","numeric-id":5428004,"id":"Q5428004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428005$5DAA5BD4-6561-4F30-8E22-95E49CE79B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa8f43281f5630dee9912c7f65243baf983059e7","datavalue":{"value":{"entity-type":"item","numeric-id":3626566,"id":"Q3626566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428005$9F0F8D42-FCDC-4516-9A7B-01E480C97137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63df33e55e1559ed2f4fda270a5a73cb6166bf68","datavalue":{"value":{"entity-type":"item","numeric-id":700835,"id":"Q700835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428005$BC3A1314-C854-4066-A1F0-E3A5F2A948BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcd45a4a11a18ec79b2f91ff2c2aaa69dc855b8b","datavalue":{"value":{"entity-type":"item","numeric-id":1229707,"id":"Q1229707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428005$A4BFF47F-4F6C-41E3-93E1-1D21EC6B7362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eddd6fbb20a3cc65941bf9614847fed07b4cda03","datavalue":{"value":{"entity-type":"item","numeric-id":1843168,"id":"Q1843168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428005$4164AB3E-2F13-481C-BCF6-F3C48A3006B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d3c81716afce7f45572d1eff1ccb9e36c259bf6","datavalue":{"value":{"time":"+2007-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5428005$E8048A8F-D90E-46CA-AC2E-938B61AE24AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428005$7A69071E-E0A7-40CA-9FB5-E68DBD55F186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428005$B3063B59-2B32-4EA9-8CDD-1F145D305976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428005$DF37F8D6-5664-44EC-A45E-CA39F275DAF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9896449a644c0f9f37f85021268f2e41caf5b74","datavalue":{"value":"5215019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428005$F1E6B03A-ADA7-46F8-9384-6F308D03F8D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76bd0d68f43debf43b1cffae50797e68543cc2a4","datavalue":{"value":"verification of concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5428005$1D4A099E-A887-4657-B80E-6BC7821A3F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"025d2a3c73e36ed7d63adb9b228d6873d592b884","datavalue":{"value":"rational number time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5428005$3EF444F3-129C-4CD4-93DB-F919DB1A1FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"662e58214c6f37ce810393a94a3e621f41d9ce64","datavalue":{"value":"tense arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5428005$44C655CB-F44A-4F65-946C-2D1C07D2C19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5127939e1d8beafaa5dc42f2f2fcfd15791a2a77","datavalue":{"value":"tense calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5428005$2DF1341D-C53D-4859-BB89-037FC57257D7","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":"Q5428005$34B28F8B-F95A-46CF-8753-FE8CCC06181D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"888540dcb4c738641e66ea5a9c80c5738b01a4d2","datavalue":{"value":{"entity-type":"item","numeric-id":4797374,"id":"Q4797374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ff222aac7aa113de678323d1a95964cedf9e52","datavalue":{"value":{"amount":"+0.7523455619812012","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":"Q5428005$A8FA6FA6-58BD-4FB9-8478-A00594A82717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2edaffa804b74d87e038d748335f23a598307087","datavalue":{"value":{"entity-type":"item","numeric-id":1589838,"id":"Q1589838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e850a41c5651297f1e57f82df63bc99d1c2b661","datavalue":{"value":{"amount":"+0.7250782251358032","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":"Q5428005$3BBB2B5D-CB51-4129-826D-B35E3BBCBF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d653190deb4f5a846e097d28bce01f6db97a4e","datavalue":{"value":{"entity-type":"item","numeric-id":5055877,"id":"Q5055877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bfadaa00637d46fa239c63a6d87450980066ed5","datavalue":{"value":{"amount":"+0.7126124501228333","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":"Q5428005$FCB5625C-8F33-4347-9D5E-26E3633F438C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"556ec3441c0515c339a21b6f58d69d4686963209","datavalue":{"value":{"entity-type":"item","numeric-id":4281664,"id":"Q4281664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe4b601379d282cf3edb23e0d0d6aae86c5175a1","datavalue":{"value":{"amount":"+0.6978238224983215","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":"Q5428005$77FD4A3E-D176-4BFB-8596-53A74888BDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd097637b33dcb3fa00a8d4528cacbfe5d3faa32","datavalue":{"value":{"entity-type":"item","numeric-id":3358711,"id":"Q3358711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a081128d7fcbf144118b3b8393672e4f8a73f45c","datavalue":{"value":{"amount":"+0.6967973709106445","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":"Q5428005$FC0378C0-E3D4-4DEB-8EBF-8BB1A33E6624","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5428005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5428005"}}}}}