{"entities":{"Q2863834":{"pageid":2874554,"ns":120,"title":"Item:Q2863834","lastrevid":51884906,"modified":"2026-01-20T11:39:48Z","type":"item","id":"Q2863834","labels":{"en":{"language":"en","value":"The specification logic \\(\\nu\\mathsf{Z}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235704"}},"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":"Q2863834$F389639B-B8C4-41C8-8CE7-0B537C07EA0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55ce250ec5b1301163a819ce0a356d399ceb66ab","datavalue":{"value":"1276.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863834$18A6F03C-29A8-4543-BBAF-FC5018165228","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2407d166abf2752782a88ad6526ca336d664a72b","datavalue":{"value":{"entity-type":"item","numeric-id":706505,"id":"Q706505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863834$BE67E1EA-E613-45C6-AC6E-2B74D8D7B4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af322b34c84740326a2c37d14bee1ca5ce427f91","datavalue":{"value":{"entity-type":"item","numeric-id":851134,"id":"Q851134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863834$06A9AF19-3F1B-49BA-8DDB-09F0CA58599A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863834$0A932070-ACA8-4694-A7FA-8180209E0ACA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c9f70c373aafa1fe67d9a6a61a1be0626093205","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105050930?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863834$3DF41C10-8421-48C4-BB24-2B9A4FD181D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863834$DB1019DD-B270-487C-9835-898CCED65169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863834$20457EAB-50A4-469A-83B9-F3862F35D0F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfef2be18c2ee6dcf444ed2bf52572340bf60b2f","datavalue":{"value":"6235704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863834$22306CF7-B888-4863-B713-3A93FE5E61E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863834$F0E09FDA-11C3-4D47-8C4B-C30770470008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75cb192011c8677da6250e8e8a1717d5d22babfa","datavalue":{"value":"wide spectrum language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863834$C1497C5C-813F-485D-945A-174C0B41423B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a68ba5872fe79be920eafdbd3ed7c7b13785eab4","datavalue":{"value":"specification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863834$B7821DE2-4208-41EE-A9DB-26203C080EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2e3f2a3a13ab3b9541c855138e11b539188f98","datavalue":{"value":"operation refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863834$498DC8E7-7A19-402E-8EF9-5369B77CD801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8199d3c167bb7194c1f4325dd8abc9ea993e9d4d","datavalue":{"value":"program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863834$C3BB9D1E-A544-46FC-B2D7-76D9C6CAC2B2","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":"Q2863834$7264A116-308D-4942-A37F-816EE5F05FF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9b24dec5f826f9028596d42e8fe6ab6029ff688","datavalue":{"value":{"text":"The specification logic \\(\\nu\\mathsf{Z}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863834$2576B306-BA2A-47A2-A408-9B0B49168F78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f69f86854ab0546a62638e2444818c8df777b8b6","datavalue":{"value":{"entity-type":"item","numeric-id":851135,"id":"Q851135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8333752667c47ad67b31b98e296fac19e691e990","datavalue":{"value":{"amount":"+0.995777189731598","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":"Q2863834$A984A3B5-D773-41F1-8D9C-5E3AD4FCB418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce9272fab4f0ab93a022a7f20c9f6fa01a3e2d6e","datavalue":{"value":{"entity-type":"item","numeric-id":1974477,"id":"Q1974477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12da67b45c2402500e7bfaa0c0af4d2e7e66fc6d","datavalue":{"value":{"amount":"+0.861403226852417","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":"Q2863834$9CC93546-D892-41EE-83AE-C3556DD5C963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e370eb66202d526cfc51dfb5304bcbdbe4c05ac3","datavalue":{"value":{"entity-type":"item","numeric-id":1974478,"id":"Q1974478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"097f07149cdfab618b2350347324935dff71129c","datavalue":{"value":{"amount":"+0.8428288698196411","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":"Q2863834$15B3813E-4CFD-406D-A62E-BF299ABA05F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0632649720488c1470077b7e7c359aec696ce5f3","datavalue":{"value":{"entity-type":"item","numeric-id":4952026,"id":"Q4952026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c374fa0a522a7b574cfae0b1ad4a90793337284","datavalue":{"value":{"amount":"+0.8287660479545593","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":"Q2863834$1C6BCAD4-2A2A-4450-91CF-17813803D9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e1c1b4624c47741cd53ac3f4d52dde3bd2a743","datavalue":{"value":{"entity-type":"item","numeric-id":4680194,"id":"Q4680194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b83f8e098ab55c4347e7d0f7ee87915327a1b2","datavalue":{"value":{"amount":"+0.8249780535697937","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":"Q2863834$E8F40BBA-A124-4841-987C-7244E7CAA109","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863834","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863834"}}}}}